In detail, $f$ is representably essentially injective if, for each pair of morphisms $\phi ,\psi \colon X\rightrightarrows A$ of $\mathcal{C}$, the following condition is satisfied:
- If $f\circ \phi \cong f\circ \psi $, then $\phi \cong \psi $.
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, $f$ is representably essentially injective if, for each pair of morphisms $\phi ,\psi \colon X\rightrightarrows A$ of $\mathcal{C}$, the following condition is satisfied:
