Categories for the Working Mathematician
《Categories for the Working Mathematician》 · 第 161 页 · Chapter VII, Section 1
A monoidal category consists of a category, a bifunctor \(\otimes\), a unit object, and natural associativity and unit isomorphisms satisfying the coherence conditions.