The equaliser of
- The Limit. The pointed set
. - The Cone. The morphism of pointed sets
given by the canonical inclusion
.
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 equaliser of
given by the canonical inclusion
We claim that
which indeed holds by the definition of the set
in
making the diagram
commute, being uniquely determined by the condition
via
for each
which gives
for each
where we have used that