Here's a breakdown of the differences between each PDF style:
| 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 |
*To be replaced with Linus Romer's Elemaints when it is released.
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
admits a symmetric monoidal structure.
See Theorem 5.1 of [Gepner–Groth–Nikolaus, Universality of Multiplicative Infinite Loop Space Machines].
