Representable functor

A functor is representable iff it is naturally isomorphic to the fixed-domain Hom-functor for some object #m/def/cat

whence is called a representation of .

#state/develop | #lang/en | #SemBr