Relationship With Monoidal Functors
If there is a monoidal functor from a monoidal category M to a monoidal category N, then any category enriched over M can be reinterpreted as a category enriched over N. Every monoidal category M has a monoidal functor M(I, –) to the category of sets, so any enriched category has an underlying ordinary category. In many examples (such as those above) this functor is faithful, so a category enriched over M can be described as an ordinary category with certain additional structure or properties.
Read more about this topic: Enriched Category
Famous quotes containing the word relationship:
“When any relationship is characterized by difference, particularly a disparity in power, there remains a tendency to model it on the parent-child-relationship. Even protectiveness and benevolence toward the poor, toward minorities, and especially toward women have involved equating them with children.”
—Mary Catherine Bateson (20th century)