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.

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|improve this question
3  
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
1  
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 at 14:23
add comment

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.