Profunctor Equipment

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 by describing its internals: objects and arrows. But true to […]