The monoidal unit of the product of sets is the functor
\[ \mathbb {1}^{\mathsf{Sets}} \colon \mathsf{pt}\to \mathsf{Sets} \]
defined by
\[ \mathbb {1}_{\mathsf{Sets}}\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\text{pt}, \]
where $\text{pt}$ is the terminal set of Chapter 2: Constructions With Sets, Definition 2.1.1.1.1.
