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.

#state/develop | #lang/en | #SemBr