Post #1616994

Finishing a blog post on profunctor equipments. Unit and counit of the adjunction between companions and conjoints in a double category.