From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5740 Path: news.gmane.org!not-for-mail From: Jiri Rosicky Newsgroups: gmane.science.mathematics.categories Subject: Re: Infinitary operations on C(X) Date: Tue, 4 May 2010 13:30:23 +0200 Message-ID: Reply-To: Jiri Rosicky NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1272986260 19796 80.91.229.12 (4 May 2010 15:17:40 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 4 May 2010 15:17:40 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Tue May 04 17:17:38 2010 connect(): No such file or directory Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1O9JsP-0002J0-Tq for gsmc-categories@m.gmane.org; Tue, 04 May 2010 17:17:38 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1O9JJ3-0002oH-OB for categories-list@mta.ca; Tue, 04 May 2010 11:41:05 -0300 Content-Disposition: inline Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5740 Archived-At: John Isbell published Generating the algebraic theory of C(X), Alg. Univ. 15 (1982), 153-155 With Joan Pelletier, we wrote Generating the monadic theory of C*-algebras and related categories, Proc. Categ. Top. and Appl., World-Scientific 1989, 163-180; On the equational theory of C*-algebras, Alg. Univ. 30 (1993), 275-284. Jiri Rosicky ----- Forwarded message from Michael Barr ----- > Date: Mon, 3 May 2010 15:18:57 -0400 (EDT) > From: Michael Barr > To: Categories list > Subject: categories: Infinitary operations on C(X) > > Way back, John Isbell told me that the theory of C*-algebras could > be dnoe with a batch of finitary operations such as convex sum, product, > and maybe others plus exactly one omega-ary operation that takes {x_i} to > \sum 2^{-i}x_i. Does anyone know if John ever published this and where? > > Michael > > > [For admin and other information see: http://www.mta.ca/~cat-dist/ ] ----- End forwarded message ----- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]