Monoidal category

A strict monoidal category is a category with a categorical product × which is associative and has a left and right identity, I where I is an object.

This article is a stub. You can help Wikipedia by fixing it.