• Symmetric Monoidality. The 8-tuple $\webleft(\mathrlap {\phantom{\lambda ^{\mathsf{Sets}_{/X}}}}\mathsf{Sets}_{/X}\right.$, $\times _{X}$, $X$, $\textbf{Sets}_{/X}$, $\alpha ^{\mathsf{Sets}_{/X}}$, $\lambda ^{\mathsf{Sets}_{/X}}$, $\rho ^{\mathsf{Sets}_{/X}}$, $\left.\sigma ^{\mathsf{Sets}_{/X}}\webright)$ is a symmetric closed monoidal category.

View Item 10 as PDF

Statistics Cite
2 tags refer to this tag

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

You can also use the contact form below: