CatDat

Implication Details

Assumptions: reflexive coequalizers

Conclusions: quotients of congruences

Reason: A congruence $E \rightrightarrows X$ has a common section $X \to E$ given by the reflexivity morphism.