nLab
homotopy coend

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

For now, see:

References