I give the definition for a (symmetric) monoidal category, followed by a series of examples. These include the category of sets with the cartesian product, the category of modules over a commutative ring, and the category of endofunctors on a category C.
25 Comments