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