The word problem for double categories

MaRDI QIDQ5213342zbMATHFDO

Authors Antonin Delpeuch

Publication date 3 February 2020

Full work available at URL https://arxiv.org/abs/1907.09927

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

word problemdouble categoriesstring diagrams

Mathematics Subject Classification ID

Monoidal categories, symmetric monoidal categories (18M05)

Abstract: We solve the word problem for free double categories without equations between generators by translating it to the word problem for 2-categories. This yields a quadratic algorithm deciding the equality of diagrams in a free double category. The translation is of interest in its own right since and can for instance be used to reason about double categories with the language of 2-categories, sidestepping the pinwheel problem. It also shows that although double categories are formally more general than 2-categories, they are not actually more expressive, explaining the rarity of applications of this notion.

Recommendations

• What is a free double category like?
• Higher-dimensional word problems with applications to equational logic
• scientific article; zbMATH DE number 517043
• Free globularily generated double categories
• scientific article; zbMATH DE number 165006

Cited in

(9)

• scientific article; zbMATH DE number 165006 (Why is no real title available?)
• Augmented virtual double categories
• What is a free double category like?
• Higher-dimensional word problems with applications to equational logic
• On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication
• Free Globularly Generated Double Categories II: The Canonical Double Projection
• The word problem for braided monoidal categories is unknot-hard
• scientific article; zbMATH DE number 7454911 (Why is no real title available?)
• scientific article; zbMATH DE number 517043 (Why is no real title available?)

This page was built for publication: The word problem for double categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213342)