enriched natural transformation
An enriched natural transformation is the appropriate notion of morphism between functors enriched in a monoidal category .
Let and be categories enriched in a monoidal category , and let be enriched functors. We abbreviate hom-objects to . An enriched natural transformation is a family of morphisms of
indexed over , such that for any two objects , of the following diagram commutes:
(Should expand to include other notions of enriched category.)
- Max Kelly, Basic Concepts of Enriched Category Theory, Cambridge University Press, Lecture Notes in Mathematics 64 (1982) (pdf)
Revised on October 31, 2012 01:55:22
by Toby Bartels