CatDat

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

Every category with finite products (also called a cartesian category) can be endowed with a symmetric monoidal structure, where $1$ is the terminal object and $\otimes$ is the product $\times$. In this case, we apply this to the category $\Set$.