From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1934 Path: news.gmane.org!not-for-mail From: Michael Barr Newsgroups: gmane.science.mathematics.categories Subject: Re: Abelian Topological Groups Date: Wed, 2 May 2001 06:11:51 -0400 (EDT) Message-ID: References: <200105010437.f414bIi14109@transbay.net> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241018214 1274 80.91.229.2 (29 Apr 2009 15:16:54 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:16:54 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed May 2 13:32:05 2001 -0300 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f42Fvi613498 for categories-list; Wed, 2 May 2001 12:57:44 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Authentication-Warning: triples.math.mcgill.ca: barr owned process doing -bs X-Sender: barr@triples.math.mcgill.ca In-Reply-To: <200105010437.f414bIi14109@transbay.net> Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 2 Original-Lines: 39 Xref: news.gmane.org gmane.science.mathematics.categories:1934 Archived-At: One thing is clear: your ideal abelian category is not abelian. Furthermore, you don't get to choose your sub- and quotient objects; they are imposed by the category. Moreover, although a weaker topology (or an abelian group with a weaker topology, which is what I assume is meant) is certainly a subobject, it is not regular, which every subobject in an abelian category must be. In fact, the only abelian categories of topological abelian groups I am aware of are the discrete groups and the dual category of compact groups. For me, the ideal category of topological abelian groups is SP(LCA), the subobjects of products of locally compact abelian groups. It is not abelian, but it is *-autonomous. It is equivalent to the category of weakly topologized abelian groups or SP(R/Z), subobjects of powers of the circle. On Mon, 30 Apr 2001, Bill Rowan wrote: > > I am attempting to construct the ideal abelian category within which live > complete, hausdorff abelian topological groups. The idea is that the > quotients of such a group, in the abelian category, would be completions > of the group with respect to topologies coarser than the given one. The > subobjects would be those topologies. Of course, having a topology as an > object in the abelian category means we have to have objects in the category > other than abelian groups. > > Of course I want to know if this has been done before. Also, what other ideas > are there about the ideal abelian category containing these groups? Mac Lane > felt that compactly-generated spaces formed the ideal base category for > topological algebra. I seem to be using the category of complete, hausdorff > uniform spaces as a base category. I wrote a paper on (universal) algebras > with a compatible uniformity, and got some nice results about the congruence > (actually, uniformity) lattices. But, admittedly, algebras with compatible > uniformities have drawbacks as a foundation for topological algebra because > even something like the complex numbers cannot be formalized as such, the > multiplication not being uniformly continuous. > > Bill Rowan >