10
$\begingroup$

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.

  • 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).2012-03-31
  • 0
    @t.b.: "amply sufficient for most purposes" please expand, I'm interested. Thanks for your neat comment!2012-03-31
  • 0
    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}$.2012-03-31
  • 1
    You could try [this article](http://arxiv.org/abs/math/0510345), for example and to follow up on @ZhenLin 's comment: [see here](http://dx.doi.org/10.1016/j.topol.2005.04.005).2012-03-31
  • 3
    Dear @t.b.: would you mind expanding on your meta-principle? Thanks!2014-01-16

1 Answers 1