The characteristic embedding is fully faithful, i.e., we have
\[ \chi _{\mathcal{P}\webleft (X\webright )}\webleft (\chi _{x},\chi _{y}\webright )=\chi _{X}\webleft (x,y\webright ) \]
for each $x,y\in X$.
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 characteristic embedding is fully faithful, i.e., we have
for each $x,y\in X$.
This follows from Proposition 2.4.2.1.1.
