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.
Terminal
Let be a Category
An Object is terminal if its initial in
i.e. for any there is exactly one Morphism