Let $F\colon \mathcal{C}\to \mathcal{D}$ be a functor.
- Characterisations. The following conditions are equivalent:[1]
- Surjectivity on Objects. If $F$ is an epimorphism of categories, then $F$ is surjective on objects.
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.
Let $F\colon \mathcal{C}\to \mathcal{D}$ be a functor.