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}. \]

Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: