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.
Morphism
A morphism of a Category is an element of the set
Each morphism has two associated Objects,
namely and
and we write