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