enriched natural transformation
Enriched category theory
Could not include enriched category theory - contents
An enriched natural transformation is the appropriate notion of homomorphism between enriched functors, the analog in enriched category theory of the ordinary notion of natural transformation in ordinary category theory.
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
(out of the tensor unit of ) indexed over , such that for any two objects , of the following diagram commutes:
(Should expand to include other notions of enriched category.)
For more references see at enriched category.
Revised on May 3, 2016 12:10:45
by Urs Schreiber