Representable functor

functor F: C → Set to the category of sets, naturally isomorphic to a hom-functor hom(X, –) for some object X in C

Pronunciation

Categories