representable functor
[ˌrepriˈzentəbl ˈfʌŋktə]
In mathematics, particularly category theory, a representable functor is a functor of a special form from an arbitrary category into the category of sets. Such functors give representations of an abstract category in terms of known structures (i.