Representable functor

From PKC
Jump to navigation Jump to search

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