Open in hackernews

Bending, Yanking, and Cartesian Squares in Double Categories

https://bartoszmilewski.com/2026/05/18/bending-yanking-and-cartesian-squares-in-double-categories/
1ibobev41m ago