The right skew unit of the right tensor product of pointed sets is the functor
\[ \mathbb {1}^{\mathsf{Sets}_{*},\rhd } \colon \mathsf{pt}\to \mathsf{Sets}_{*} \]
defined by
\[ \mathbb {1}^{\rhd }_{\mathsf{Sets}_{*}}\mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}S^{0}. \]
