Bending, Yanking, and Cartesian Squares in Double Categories

1 points | by ibobev 5 hours ago