A Fubini rule for $\infty$-coends

Abstract

We prove a Fubini rule for $\infty$-co/ends of $\infty$-functors $F:{\mathcal{C}}^{\text{op}}\times \mathcal{C}\to \mathcal{D}$. This allows to lay down "integration rules", similar to those in classical co/end calculus, also in the setting of $\infty$-categories.

arXiv comment6 pages. Preprints of MPIM http://www.mpim-bonn.mpg.de/preblob/5952 2019

References in corpus (1)

• Higher Topos Theory

Cited by in corpus (1)

• On (co)ends in $\infty$-categories