 Strict monoidal category

A monoidal category whose associators and unitors are identities; the tensor and unit laws are then equalities of objects and morphisms.