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 [ ]