• Symmetric Monoidality. The triple $\webleft (\mathsf{Sets}_{X/},\mathbin {\textstyle \coprod _{X}},X\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: