quotient category

Quotient category is an alternative name (used especially in 1960s and 1970s) for the result of a strict localization, that is, given a category CC and a class of morphisms ΣC\Sigma\subset C the category Σ 1C\Sigma^{-1} C equipped with a functor Q Σ:CΣ 1CQ_\Sigma: C\to \Sigma^{-1} C sending all morphisms in Σ\Sigma to isos and which has a strict universal property, that is, for every other functor F:CAF: C\to A inverting all morphisms in Σ\Sigma, there is a factorization F=F˜QF = \tilde{F}\circ Q.

Note that some of the literature in topos theory and more generally in category theory uses the term ‘localization’ to mean those (possibly non-strict) localization functors, for which the localization functor is left exact and admits a right adjoint. The terminology then is to use ‘quotient functor’ for when the “admits right adjoint” and “left exact” conditions are removed.

Following extensions of earlier work of Serre by Grothendieck and Gabriel, the term Serre quotient category or simply a quotient category is used especially when the input is a thick subcategory TT of an abelian category AA, instead of the class Σ\Sigma. A nonempty full subcategory of an abelian category is thick in the strong sense if it is closed under subquotients and extensions. The construction of a ‘quotient category’ proceeds by defining A/TA/T to have the same objects as TT and

(A/T)(X,Y):=colimA(X,Y/Y) (A/T)(X,Y) := colim A(X',Y/Y')

where the colimit runs through all subobjects XXX'\subset X, YYY'\subset Y such that X/XObTX/X' \in Ob T, YObTY'\in Ob T. The quotient functor Q:AA/TQ: A\to A/T is obvious.

A basic example is the quotient of the category of abelian groups modulo the torsion groups. This category is equivalent to the category of \mathbb{Q}-vector spaces, by the functor which maps an abelian group MM to the scalar extension M M \otimes_{\mathbb{Z}} \mathbb{Q}. (See the Stacks Project, Tag 0B0J for a proof.)

A thick subcategory (here always in the strong sense) is said to be localizing if and QQ admits a right adjoint A/TAA/T\to A, often called the section functor. Every coreflective thick subcategory admits a section functor, and the converse holds if AA has injective envelopes. A thick subcategory TAT\subset A is a coreflective iff (T,F)(T,F) is a torsion theory, where

F:={XObA|A(T,X)=0} F := \{X\in Ob A\,|\,A(T,X) = 0\}

Yaron: The above definition of a quotient category appears to be different from that of CWM (p. 51 of the second edition), where a quotient category is obtained by identifying arrows. Perhaps there is a need for disambiguation?

Toby: See discussion on the Forum.

Last revised on February 18, 2018 at 08:54:23. See the history of this page for a list of all contributions to it.