A pointed set[1] is equivalently:
- An $\mathbb {E}_{0}$-monoid in $\webleft (\mathrm{N}_{\bullet }\webleft (\mathsf{Sets}\webright ),\text{pt}\webright )$.
- A pointed object in $\webleft (\mathsf{Sets},\text{pt}\webright )$.
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.
A pointed set[1] is equivalently: