Congruence on a category
= Congruence on a category
A congruence on a <category> $\mathcal C$ is an <equivalence relation> on each hom-set that is compatible with composition on both sides. The quotient category $\mathcal C/{\sim}$ has the same objects and equivalence classes of morphisms, with composition induced from $\mathcal C$.