 Representable functor

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)$.