Item 4 (0142) — The Clowder Project

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`

Equivalences vs.Adjoint Equivalences. Every equivalence of categories can be promoted to an adjoint equivalence.^[1]

Footnotes

[1] More precisely, we can promote an equivalence of categories $\webleft (F,G,\eta ,\epsilon \webright )$ to adjoint equivalences $\webleft (F,G,\eta ',\epsilon \webright )$ and $\webleft (F,G,\eta ,\epsilon '\webright )$.

Noticed something off, or have any comments? Feel free to reach out!

Email
Twitter
Discord

You can also use the contact form below: