Let be a Category and be an equivalence relation on . Suppose the following is satisfied: whenever the composites are defined Then we can form the quotient category where and the morphisms are the equivalence classes.