Search results

• ...id objects in an arbitrary [http://en.wikipedia.org/wiki/Monoidal_category monoidal category]. Such categories have a tensor product $\otimes$ of ob A monoid object in a monoidal category is then: