Representable functor

English

Etymology

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

Noun

1. Template:Lb A functor from some category to the category of sets (Set) which is naturally isomorphic to a hom functor.

Synonyms

• representable presheaf