Item 13 (0016) — The Clowder Project

Style	Class	Font	Theorem Environments
Style 1	`book`	Alegreya Sans	`tcbthm`
Style 2	`book`	Alegreya Sans	`amsthm`
Style 3	`book`	Arno*	`amsthm`
Style 4	`book`	Computer Modern	`amsthm`

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

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

You can also use the contact form below: