Quotient objects

In category theory, a **quotient object** is a construction that generalizes the idea of quotient sets in set theory and quotient spaces in topology. More formally, a quotient object is used to take an object in a category, along with an equivalence relation on that object, and construct a new object that represents the "set of equivalence classes" of the original object under that relation.