quotient category

Let \(\mathcal{C}\) be a locally small category and \(R\) a composition compatible equivalence relation on each hom-set. Then the quotient category \(\mathcal{C}/R\) with regard to \(R\) is defined as category containing

1. objects from \(\mathcal{C}\) as objects
2. equivalence classes of morphisms