 Monoidal category

A category equipped with a monoidal tensor product, a monoidal unit object, and natural associators and unitors satisfying the pentagon and triangle axioms.