In mathematics, the quotient (also called Serre quotient or Gabriel quotient) of an abelian category A {\displaystyle {\mathcal {A}}} by a Serre subcategory B {\displaystyle {\mathcal {B}}} is the abelian category A / B {\displaystyle {\mathcal {A}}/{\mathcal {B}}} which, intuitively, is obtained from A {\displaystyle {\mathcal {A}}} by ignoring (i.e. treating as zero) all objects from B {\displaystyle {\mathcal {B}}} . There is a canonical exact functor Q : A → A / B {\displaystyle Q\colon {\mathcal {A}}\to {\mathcal {A}}/{\mathcal {B}}} whose kernel is B {\displaystyle {\mathcal {B}}} , and A / B {\displaystyle {\mathcal {A}}/{\mathcal {B}}} is in a certain sense the most general abelian category with this property. Forming Serre quotients of abelian categories is thus formally akin to forming quotients of groups. Serre quotients are somewhat similar to quotient categories, the difference being that with Serre quotients all involved categories are abelian and all functors are exact. Serre quotients also often have the character of localizations of categories, especially if the Serre subcategory is localizing.
Definition Formally, A / B {\displaystyle {\mathcal {A}}/{\mathcal {B}}} is the category whose objects are those of A {\displaystyle {\mathcal {A}}} and whose morphisms from X to Y are given by the direct limit (of abelian groups)
… excerpt ends here. Continue reading the full article.
