CatDat

• Notation: $(\Set,\sqcup,0)$
• Underlying category: category of sets
• Related symmetric monoidal categories: $(\Set,\times,1)$
• nLab Link

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