mathlib

1f1ba587 - feat(category_theory/limits): reflexive coequalizers (#5123)

feat(category_theory/limits): reflexive coequalizers (#5123) Adds reflexive coequalizers. These are useful for #5118 as well as for some monadicity theorems and other results.