ar bg de en es fr id it nl pl pt sv tr zh

string diagrams

May 19

Bending, Yanking, and Cartesian Squares in Double Categories

Bartosz Milewski

Previously: Profunctor Equipment in Haskell. The major advantage of string diagrams is that they provide surprisingly natural language for complex diagram manipulations. The fact that two traditional diagrams are equal can be often described as a permission to bend, yank, or pinch strings in...

category theory proarrow equipment profunctors profunctor equipment double categories string diagrams

Apr 24

Profunctor Equipment

Bartosz Milewski

The fundamental premise of category theory is that it’s possible to fully capture the nature of objects by describing their interactions with other objects of the same type. Those interactions are encoded using morphisms: arrows between objects. What about categories themselves? We define a...

category theory companion conjoint proarrow equipment profunctors double category string diagrams