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:
“Friendship is by its very nature freer of deceit than any other relationship we can know because it is the bond least affected by striving for power, physical pleasure, or material profit, most liberated from any oath of duty or of constancy.”
—Francine Du Plesssix Gray (20th century)