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.
Covariant
A covariant functor is the same as a Functor.
It is used to distinguish from Contravariant functor.