**Next:***-Category

**Up:**Appendix

**Previous:**Sets

#

Monoidal Category

A Monoidal category
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
is a category then,
is defined as follows:

**Definition 2.3**

*A monoidal category is a triplet (M, *, i) such that*

- M is a category
- * is a functor
- such that i * x = x * i = x

Cecilia Flori 2006-11-19