Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\mathcal{A}$ be an abelian category and $\mathcal{C}$ a localizing subcategory in the sense of Gabriel. (A Serre subcategory or "thick" subcategory, such that the quotient functor $T\colon \mathcal{A}\rightarrow\mathcal{A}/\mathcal{C}$ admits a right adjoint, the "section functor".) Then we can form the quotient category $\mathcal{A}/\mathcal{C}$.

Which properties inherits $\mathcal{A}/\mathcal{C}$ from $\mathcal{A}$? To be more precise:

  1. If $\mathcal{A}$ has enough injectives (resp. projectives), does $\mathcal{A}/\mathcal{C}$ too? If not, under which conditions?
  2. If $A\in \mathcal{A}$ is injective (resp. projective), is it $T(A)$, too? If not, under which conditions?
  3. If $A\in \mathcal{A}$ is a cogenerator, is it $T(A)$ too? If not, under which conditions?
  4. If $\mathcal{A}$ is complete, is it $\mathcal{A}/\mathcal{C}$ too? If not, under which conditions?

I know that:

  1. If $\mathcal{A}$ is cocomplete then so is $\mathcal{A}/\mathcal{C}$. ($T$ is a left adjoint)
  2. If $\{U_i\}$ is a set of generators then so is $\{T(U_i)\}$.
  3. If $\mathcal{A}$ is AB5 then so is $\mathcal{A}/\mathcal{C}$. ($T$ commutes with limits and one can prove that taking directed limits is exact.)
share|improve this question
This question continues on mathoverflow.net/questions/132334/… . –  archipelago Jun 2 '13 at 11:31

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.