End (Category Theory)

Overview

An end is a generalization of the notion of a natural transformaition and limit.

Definition

Let $C,D$ be a categories. Let $F,G:C^{op}\times C\to D$ be bifunctor. A Dinatural Transformation is a

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

References

Ends and Coends loregian2023-coend-calculus yoneda1960-end