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.
Nicola Carissimi (Fri,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: