Enriched Category - Relationship With Monoidal Functors

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)