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 <barr@math.mcgill.ca> -----
Date: Mon, 3 May 2010 15:18:57 -0400 (EDT) From: Michael Barr <barr@math.mcgill.ca> To: Categories list <categories@mta.ca> 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/ ]