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
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
Last updated: 10-11-2005 05:13:16
