From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/993 Path: news.gmane.org!not-for-mail From: Zhaohua Luo Newsgroups: gmane.science.mathematics.categories Subject: categorical geometry Date: Tue, 12 Jan 1999 12:32:25 -0500 Message-ID: <369B8724.4B7A69D8@iswest.com> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="------------FF260AA9AFA537FC9D7A1021" X-Trace: ger.gmane.org 1241017440 28823 80.91.229.2 (29 Apr 2009 15:04:00 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:04:00 +0000 (UTC) To: categories@mta.ca Original-X-From: cat-dist Wed Jan 13 16:41:40 1999 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id OAA18594 for categories-list; Wed, 13 Jan 1999 14:38:20 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: Mozilla 4.5 [en] (Win98; U) X-Accept-Language: en Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 112 Xref: news.gmane.org gmane.science.mathematics.categories:993 Archived-At: --------------FF260AA9AFA537FC9D7A1021 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit In a recent paper (TAC, Vol 4, 208-248) On Generic Separable Objects, by Robbie Gates, the author mentioned a well known "boolean algebraic structure of the summands of an object in an extensive category". This reminded me a paper I posted to my homepage last year (8/30/98, see the abstract below), in which the same boolean structure was reconstructed (at that time this was not "well known" to me), and was applied to define the Pierce topology for any extensive category, extending some results of Diers. The paper Pierce Topologies of Extensive Categories is available at Categorical Geometry Homepage at the following new (permanent, hopefully) address http://www.geometry.net (or http://www.azd.com) (The new service is a little bit slow, but offers more functions than the old one, so please be patient.) Best wishes, Zhaohua Luo ----------------------------------------------------------------------------------------- Pierce Topologies of Extensive Categories by Zhaohua Luo Abstraction An extensive category is a category with finite stable disjoint sums. In this note we show that each extensive category carries a natural subcanonical coherent Grothendieck topology defined by injections of sums. This Grothendieck topology is induced by a strict metric topology, which is a functor to the category of Stone spaces. We call this metric topology the Pierce topology of the category, as it generalizes the classical Pierce spectrums of commutative rings. Recall that the Pierce spectrum of a commutative ring R is the spectrum of the Boolean algebra of idempotents of R, which is a Stone space. A theorem of R. S. Pierce states that R can be represented as the ring of global sections of a sheaf of commutative rings on its Pierce spectrum (called the Pierce sheaf or representation), whose stalks are indecomposable rings (with respect to product decomposations). Diers showed that Pierce's theorem can be extended to any object in a locally finitely presentable category such that the opposite of the subcategory of finitely presentable objects is lextensive (called a locally indecomposable category). We shall see that a weak form of Pierce representation exists for any object in an extensive category. --------------FF260AA9AFA537FC9D7A1021 Content-Type: text/html; charset=us-ascii Content-Transfer-Encoding: 7bit In a recent paper (TAC, Vol 4, 208-248)

On Generic Separable Objects, by Robbie Gates,

the author mentioned a well known "boolean algebraic structure of the summands of an object in an extensive category". This reminded me a paper I posted to my homepage last year (8/30/98, see the abstract below), in which the same boolean structure was reconstructed (at that time this was not "well known" to me), and was applied to define the Pierce topology for any extensive category, extending some results of Diers. The paper

Pierce Topologies of Extensive Categories

is available at Categorical Geometry Homepage at the following new (permanent, hopefully) address

http://www.geometry.net (or http://www.azd.com)

(The new service is a little bit slow, but offers more functions than the old one, so please be patient.)

Best wishes,

Zhaohua Luo
-----------------------------------------------------------------------------------------
Pierce Topologies of Extensive Categories

by Zhaohua Luo

Abstraction

An extensive category is a category with finite stable disjoint sums. In this note we show that each extensive category carries a natural subcanonical coherent Grothendieck topology defined by injections of sums. This Grothendieck topology is induced by a strict metric topology, which is a functor to the category of  Stone spaces. We call this metric topology the Pierce topology of the category, as it generalizes the classical Pierce spectrums of commutative rings. Recall that the Pierce spectrum of a commutative ring R is the spectrum of the Boolean algebra of idempotents of R, which is a Stone space. A theorem of R. S. Pierce states that R can be represented as the ring of global sections of a sheaf of commutative rings on its Pierce spectrum (called the Pierce sheaf or representation), whose stalks are indecomposable rings (with respect to product decomposations). Diers showed that Pierce's theorem can be extended to any object in a locally finitely presentable category such that the opposite of the subcategory of finitely presentable objects is lextensive (called a locally indecomposable category). We shall see that a weak form of Pierce representation exists for any object in an extensive category. --------------FF260AA9AFA537FC9D7A1021--