pinwheel double categories

Last updated Apr 14, 2025

• double category

References.

• The Word Problem for Double Categories (Delpeuch, 2019)
• A Forbidden Suborder Characterization of Binarily Composable Diagrams in Double Categories (Dawson, 1995)