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 words relationship with and/or relationship:
“When a mother quarrels with a daughter, she has a double dose of unhappiness—hers from the conflict, and empathy with her daughter’s from the conflict with her. Throughout her life a mother retains this special need to maintain a good relationship with her daughter.”
—Terri Apter (20th century)
“Sometimes in our relationship to another human being the proper balance of friendship is restored when we put a few grains of impropriety onto our own side of the scale.”
—Friedrich Nietzsche (1844–1900)