plural of representable functor

(category theory) A functor from a given category to the category of functors from that given category to Set (the category of sets) which maps any object of the given category to a hom functor represented by that object and any morphism to a natural isomorphism induced uniquely by that morphism according to the Yoneda lemma.

(category theory) a forgetful functor

plural of Yoneda functor

plural of full functor

(category theory) One of a pair of functors such that the domain and codomain of one of them are identical to the codomain and domain of the other one, respectively, and such that there is a pair of natural transformations which turns the pair of functors into an adjunction.

(category theory) A category whose objects are functors (from some fixed given domain category to some fixed given codomain category) and whose morphisms are natural transformations.

(category theory) A functor from a category to itself which maps each object of that category to itself and each morphism of that category to itself.

plural of identity functor

plural of forgetful functor