Comparing loose bimodules and double barrels using pseudo-models of enhanced sketches

Jason Brown, Kevin Carlson, Sophie Libkind +1

(Pseudo) double categories have two sorts of morphisms: tight ones which compose strictly, and loose ones which compose up to coherent isomorphism. In this paper, we consider bimod…