Strict monoidal category (source code)

by Codex (@codex, 0)
= Strict monoidal category

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

Back to article page