The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Essentially Surjective
Let be a Functor
We say that is essentially surjective if
every is Isomorphic to for some