cocartesian symmetric monoidal category of sets

Notation (Set,⊔,0)(\Set,\sqcup,0) Underlying category category of sets Related (Set,×,1)(\Set,\times,1) External nLab Link

Every category with finite coproducts (also called a cocartesian category) can be endowed with a symmetric monoidal structure, where 11 is the initial object and ⊗\otimes is the coproduct ⊔\sqcup. In this case, we apply this to the category Set\Set.

Satisfied Properties

Assigned properties

Deduced properties

—

Unsatisfied Properties

Assigned properties

Deduced properties*

*This also uses the deduced satisfied properties.

Unknown properties

—