Double Categories Articles

Page 1 of 1 (2 articles)

6/13/2026 • EN

Kan Extensions in Double Categories

Explores Kan extensions in double categories, generalizing profunctor-based right and left Kan extensions with categorical and Haskell implementations.

Category Theory Double Categories Haskell Kan Extensions Profunctors

Bartosz Milewski

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.

Double Categories Proarrow Equipment Spider Lemma String Diagrams Yanking

Bartosz Milewski

Double Categories Articles

Kan Extensions in Double Categories

Bending, Yanking, and Cartesian Squares in Double Categories

Select Language

We use cookies