Category theory MOC

Representable functor

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

whence is called a representation of .


develop | en | sembr