Add a work-in-progress 'profunctor oriented' approach to category theory