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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

There are lots of reasons why the category of topological abelian groups (i.e. internal abelian groups in $\bf Top$) is not an abelian category. So i'm wondering:

Is there a "suitably well behaved" subcategory of $\bf Top$, say $\bf T$, such that $\bf Ab(T)$ is an abelian category?

My first guess was to look for well behaved topological spaces (locally compact Hausdorff, compactly generated Hausdorff, and so on...) Googling a little shows me that compactly generated topological groups are well known animals, but the web seems to lack of a more categorical point of view.

Any clue? Thanks in advance.

share|cite|improve this question
You wouldn't count discrete spaces or compact spaces, I guess... And the category of locally compact abelian Hausdorff groups is still quasi-abelian, which is amply sufficient for most purposes (it is a meta-principle that outside of essentially algebraic contexts, the theory of abelian categories is hopelessly inadequate). – t.b. Mar 31 '12 at 11:05
@t.b.: "amply sufficient for most purposes" please expand, I'm interested. Thanks for your neat comment! – Fosco Loregian Mar 31 '12 at 11:29
The category of internal abelian groups in a Barr-exact category is automatically an abelian category, so it is enough to find a Barr-exact subcategory of $\textbf{Top}$. – Zhen Lin Mar 31 '12 at 11:42
You could try this article, for example and to follow up on @ZhenLin 's comment: see here. – t.b. Mar 31 '12 at 11:45
Dear @t.b.: would you mind expanding on your meta-principle? Thanks! – Bruno Joyal Jan 16 '14 at 14:23

This was alluded to in the comments and may not be what you're looking for, but it surely deserves mention that you can take $\mathbf{T}$ to be the category of compact Hausdorff spaces. The category $\mathbf{Ab}(\mathbf{T})$ is the the category of compact abelian groups, which is equivalent to $\mathbf{Ab}^{op}$ and hence abelian by Pontryagin duality.

share|cite|improve this answer

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.