Quotient category

In mathematics, a quotient category is a category obtained from another category by identifying sets of morphisms. Formally, it is a quotient object in the category of categories, analogous to a quotient group or quotient space, but in the categorical setting.

Definition

Let be a category. A congruence relation on is given by: for each pair of objects, in, an equivalence relation on, such that the equivalence relations respect composition of morphisms. That is, if
are related in and
are related in, then and are related in.
Given a congruence relation on we can define the quotient category as the category whose objects are those of and whose morphisms are equivalence classes of morphisms in. That is,
Composition of morphisms in is well-defined since is a congruence relation.

Properties

There is a natural quotient functor from to which sends each morphism to its equivalence class. This functor is bijective on objects and surjective on Hom-sets.
Every functor determines a congruence on by saying iff. The functor then factors through the quotient functor in a unique manner. This may be regarded as the "first isomorphism theorem" for categories.

Examples

Monoids and groups may be regarded as categories with one object. In this case the quotient category coincides with the notion of a quotient monoid or a quotient group.
The homotopy category of topological spaces hTop is a quotient category of Top, the category of topological spaces. The equivalence classes of morphisms are homotopy classes of continuous maps.
Let k be a field and consider the abelian category Mod of all vector spaces over k with k-linear maps as morphisms. To "kill" all finite-dimensional spaces, we can call two linear maps f,''g : X'' → Y congruent iff their difference has finite-dimensional image. In the resulting quotient category, all finite-dimensional vector spaces are isomorphic to 0.
Related concepts

Quotients of additive categories modulo ideals

If C is an additive category and we require the congruence relation ~ on C to be additive, then the quotient category C/~ will also be additive, and the quotient functor C → C/~ will be an additive functor.
The concept of an additive congruence relation is equivalent to the concept of a two-sided ideal of morphisms: for any two objects X and Y we are given an additive subgroup I of Hom_C such that for all f ∈ I, g ∈ Hom_C and h∈ Hom_C, we have gf ∈ I and fh ∈ I. Two morphisms in Hom_C are congruent iff their difference is in I.
Every unital ring may be viewed as an additive category with a single object, and the quotient of additive categories defined above coincides in this case with the notion of a quotient ring modulo a two-sided ideal.

Localization of a category

The localization of a category introduces new morphisms to turn several of the original category's morphisms into isomorphisms. This tends to increase the number of morphisms between objects, rather than decrease it as in the case of quotient categories. But in both constructions it often happens that two objects become isomorphic that weren't isomorphic in the original category.

Serre quotients of abelian categories

The Serre quotient of an abelian category by a Serre subcategory is a new abelian category which is similar to a quotient category but also in many cases has the character of a localization of the category.