This paper introduces enriched ends and coends in bicategories, highlighting the role of string diagrams.
In this paper we introduce the theory of ends and coends in the context of enriched bicategories. This will be an enriched version of the theory introduced in [Cor16], and a bicategorical version of the classical theory of enriched (co)ends, which can be found in [Kel05] or in the more recent [Lor21]. One of the main obstacles to the construction of such a theory is the amount of structure involved at this stage of categorification. A great help will be furnished by strictification results (Section 2), as well as the powerful tool of string diagrams (Section 3), essential for making calculations manageable by a human being.
No takes yet. Share an insight, caveat, or question.
Nicola Carissimi (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: