- 1.
As a Weighted Colimit. We have
where in the right hand side we write:
-
for the functor picking ; -
for the functor picking .
-
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.
where in the right hand side we write: