nLab
homotopy coend

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

For now, see:

References

Last revised on September 18, 2021 at 12:30:06. See the history of this page for a list of all contributions to it.