A homotopy end or coend is a homotopy (co)limit corresponding to an end or coend.
For now, see:
homotopy weighted colimit, homotopy weighted limit?,
Jean-Marc Cordier and Timothy Porter, Homotopy Coherent Category Theory, Trans. Amer. Math. Soc. 349 (1997) 1-54, (pdf)
Sergey Arkhipov, Sebastian Ørsted, Homotopy (co)limits via homotopy (co)ends in general combinatorial model categories (arXiv:1807.03266)
Last revised on September 18, 2021 at 16:30:06. See the history of this page for a list of all contributions to it.