From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3946 Path: news.gmane.org!not-for-mail From: Vaughan Pratt Newsgroups: gmane.science.mathematics.categories Subject: Re: Quantale Theory 101 [was: is 0 prime?] Date: Mon, 01 Oct 2007 23:40:59 -0700 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241019620 11019 80.91.229.2 (29 Apr 2009 15:40:20 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:40:20 +0000 (UTC) To: categories list Original-X-From: rrosebru@mta.ca Tue Oct 2 13:27:41 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 02 Oct 2007 13:27:41 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1IckPl-0001nd-U8 for categories-list@mta.ca; Tue, 02 Oct 2007 13:16:06 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 3 Original-Lines: 38 Xref: news.gmane.org gmane.science.mathematics.categories:3946 Archived-At: > As to the question of "why?", I have a very biased and unscientific > answer: Sup is the most awesome category. Oh, *there*'s the problem. I was getting quite puzzled about all this stuff. Presumably by Sup you mean what Peter Johnstone calls CSLat, complete semilattices, which is a lovely self-dual category. (If not ignore the following.) According it the status of "the most awesome" however is a symptom of not yet having come to grips with the joy of Chu, a more awesome self-dual category (fully) embedding CSLat in a duality-preserving and concrete-preserving way while exhibiting that duality as simply matrix transposition, yet still not *the* most awesome. And all that just in Chu(Set,2). Chu(Set,8) embeds Grp, and concretely at that, which is more awesome but still not awesome to the max. More awesome yet is that you can concretely embed every category of relational structures of total arity n in Chu(Set,2^n)---Grp fits that description on account of the group multiplication being a ternary relation, whence Chu(Set,8)). And so on. If going up only reduces the awe, then one should instead go down from CSLat for greater awe. God and the devil command a degree of awe that the middle class is hard pressed to match. Not only am I not a ring theorist but it's never occurred to me even to play one on the Internet. On the matter of the ideals of R, it would be very nice if they were just the endomorphisms of R but presumably that doesn't work on the ground that not every quotient of R embeds as a subring of R---if that's wrong then I'm really confused. I'm not a category theorist either but I do try. Isn't the obvious gadget to extract from R not its lattice of ideals but its category of quotients suitably defined? Bill, is that what you were getting at? Vaughan