• Symmetric Monoidality. The triple $\webleft (\mathsf{Sets}_{*},\mathbin {\textstyle \coprod _{X}},\webleft (X,x_{0}\webright )\webright )$ is a symmetric monoidal category.

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


You can also use the contact form below: