The word problem for double categories
From MaRDI portal
Publication:5213342
zbMATH Open1444.18021arXiv1907.09927MaRDI QIDQ5213342FDOQ5213342
Authors: Antonin Delpeuch 
Publication date: 3 February 2020
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.
Full work available at URL: https://arxiv.org/abs/1907.09927
File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)
Recommendations
Cited In (9)
- Title not available (Why is that?)
- Free Globularly Generated Double Categories II: The Canonical Double Projection
- On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication
- The word problem for braided monoidal categories is unknot-hard
- What is a free double category like?
- Title not available (Why is that?)
- Higher-dimensional word problems with applications to equational logic
- Augmented virtual double categories
- Title not available (Why is that?)
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)
