Sign up ×
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.

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! – tetrapharmakon 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

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.