The symmetric monoidal structure on the category $\mathsf{Sets}_{*}$ is the unique symmetric monoidal structure on $\mathsf{Sets}_{*}$ such that the free pointed set functor

\[ \webleft (-\webright )^{+} \colon \mathsf{Sets}\to \mathsf{Sets}_{*} \]

admits a symmetric monoidal structure.


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


You can also use the contact form below: