The word problem for double categories

07/23/2019

∙

by   Antonin Delpeuch, et al.

∙

0

∙

share

We solve the word problem for double categories 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.