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}\text{texttimes}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

Duplicate Content 1

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

Note that $F,G$ are called Profunctor when $D=\mathrm{Set}$, however not all profunctors are

References

Ends and Coends