 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}$.