5/19/2026
•
EN
Bending, Yanking, and Cartesian Squares in Double Categories
Explores string diagrams in double categories, covering yanking identities, the spider lemma, and cartesian squares.