In category theory, an enriched functor is a variant on a special type of mapping between categories.

T is C-enriched if for all objects A and B in C, there are arrows

tAB:(A - > B) - - - - > (TA - > TB)

satisfying

tAA(id(A)) = id(TA)

for all A in C, and

tAB(f);tBC(g) = tAC(f;g)

for all f:A - - - - > B and g:B - - - - > C in C.[1]

See also

• Functor

References

• [Ke] Kelly,G.M. "Basic Concepts of Enriched Category Theory", London
• Mathematical Society Lecture Note Series No.64 (C.U.P., 1982)

External links

• An extension of Reynolds' result on the non-existence of set-models of polymorphism
• Semantics for Algebraic Operations