Coend (Category Theory)

Let $C,D$ be a categories. Let $F,G:C^{op}\text{texttimes}C\to D$ be bifunctors. A dinatural transformation is a natural transformation between bifunctors. A coend is a an initial co-wedge $\tau :CoWedgeDF$. —TODO: Check

Remarks

Note that $F,G$ are called Profunctor when $D=\mathrm{Set}$.

Sources

Ends and Coends loregian2023-coend-calculus yoneda1960-end

See also

End (Category Theory)