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 ca...

In abstract algebra , a free algebra is the noncommutative analogue of a polynomial ring (which may be regarded as a free commutative algebra ). Le...