In detail, a morphism of pointed sets $f\colon \webleft (X,x_{0}\webright )\to \webleft (Y,y_{0}\webright )$ is a morphism of sets $f\colon X\to Y$ such that the diagram
commutes, i.e. such that
\[ f\webleft (x_{0}\webright ) = y_{0}. \]
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.
In detail, a morphism of pointed sets $f\colon \webleft (X,x_{0}\webright )\to \webleft (Y,y_{0}\webright )$ is a morphism of sets $f\colon X\to Y$ such that the diagram
commutes, i.e. such that
