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.
Quotient Category
Let be a Category and be an equivalence relation on .
Suppose the following is satisfied:
whenever the composites are defined
Then we can form the quotient category
where and the morphisms are the equivalence classes.