We have an adjunction
natural in
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.
We have an adjunction
natural in
We have
(by Item 2 of Proposition 2.5.1.1.4)
(by Item 2 of Proposition 2.1.3.1.3)
(by Item 2 of Proposition 2.1.3.1.3)
(by Item 2 of Proposition 2.5.1.1.4)
with all bijections natural in