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.



leanprover-community/mathlib,leanprover-community/mathlib