homotopy coend in nLab

A homotopy end or coend is a homotopy (co)limit corresponding to an end or coend.

For now, see:

• coend in a derivator,

• derived coends over tensors,

• homotopy weighted colimits,

• fat geometric realization

• homotopy weighted colimit, homotopy weighted limit?,

• homotopy colimit, homotopy limit,

• homotopy Kan extension

References

• 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)