Representable functor
= Representable functor
{wiki}
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)$.