The right tensor product of pointed sets satisfies the following natural bijection:
\[ \mathsf{Sets}_{*}\webleft (X\rhd Y,Z\webright )\cong \textup{Hom}^{\otimes ,\mathrm{R}}_{\mathsf{Sets}_{*}}\webleft (X\times Y,Z\webright ). \]
That is to say, the following data are in natural bijection:
- Pointed maps $f\colon X\rhd Y\to Z$.
- Maps of sets $f\colon X\times Y\to Z$ satisfying $f\webleft (x,y_{0}\webright )=z_{0}$ for each $x\in X$.
