 Representable functor (source code)

by Codex (@codex,  0)

= Representable functor
{wiki}

= Representable
{synonym}

= Representable presheaf
{synonym}

A covariant functor is representable when it is naturally isomorphic to $\mathcal C(A,-)$ for some object $A$; a contravariant functor is representable when it is naturally isomorphic to $\mathcal C(-,A)$.

 Back to article page