Editing Enriched category (section)

==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'', &ndash;) 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 functor|faithful]], so a category enriched over '''M''' can be described as an ordinary category with certain additional structure or properties.