Category theory MOC Quotient category Given a category and a congruence relation on hom-sets , the quotient category has the same objects as and congruence classes as morphisms, i.e. Examples Naïve homotopy category where is Homotopy of maps. develop | en | sembr