Monoidal Category


Next: *-Category Up: Appendix Previous: Sets


Monoidal Category

A Monoidal category $ \mathcal{M}$ is a one object category equipped with a binary operation on that object, and a unit element. In the situation in which the object in $ \mathcal{M}$ is a category then, $ \mathcal{M}$ is defined as follows:

Definition 2.3   A monoidal category $ \mathcal{M}$ is a triplet (M, *, i) such that
  • M is a category
  • * is a functor $ M\times M\rightarrow M$
  • $ i\in M$ such that $ \forall\hspace{.02in}x\in M$ i * x = x * i = x

The * functor can be identified either with the tensor product, the direct sum or the direct product according to which category M one is tacking into consideration.

Cecilia Flori 2006-11-19