representable functor

Meaning

Noun

• A functor from some category to the category of sets (Set) which is naturally isomorphic to a hom functor.

Related

Similar words

• representable presheaf

Origin

• If a representable functor is naturally isomorphic to a hom functor $\backslash mbox\{Hom\}(C,-)$ or $\backslash mbox\{Hom\}(-,C)$, then the object C is said to represent that representable functor.