pinwheel double categoriesLast updated Apr 14, 2025double categoryReferences.The Word Problem for Double Categories (Delpeuch, 2019)A Forbidden Suborder Characterization of Binarily Composable Diagrams in Double Categories (Dawson, 1995)