A Fubini rule for infty-coends
classification
🧮 math.CT
keywords
inftymathcalfubiniruleallowscalculuscategoriesclassical
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.