Example 2.2.2. A symmetric monoidal -category is unital if and only if the unit object is initial.
Original source: arXiv:1808.06006v3
Original source · 1808.06006v3
Example 2.2.2. A symmetric monoidal -category is unital if and only if the unit object is initial.
Original source: arXiv:1808.06006v3
Original source · 1808.06006v3