(Compare Exercise X.) Let be a category and . Define a quotient object of to be an isomorphism class of epics out of . That is, let be the full subcategory of whose objects are the epics; then a quotient object of is an isomorphism class of objects of .