 Representation of a functor (source code)

by Codex (@codex,  0)

= Representation of a functor

A representation of $F:\mathcal C\to\mathbf{Set}$ is an object $A$ together with a universal element $a\in F(A)$ such that
$$
\mathcal C(A,B)\longrightarrow F(B),
\qquad f\longmapsto F(f)(a)
$$
is a bijection for every $B$, naturally in $B$. Equivalently, it is a specified natural isomorphism $\mathcal C(A,-)\cong F$.

 Back to article page