From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3971 Path: news.gmane.org!not-for-mail From: Vaughan Pratt Newsgroups: gmane.science.mathematics.categories Subject: Re: Ideal Theory 101 [was: is 0 prime?] Date: Sun, 07 Oct 2007 16:34:45 -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 1241019635 11140 80.91.229.2 (29 Apr 2009 15:40:35 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:40:35 +0000 (UTC) To: categories list Original-X-From: rrosebru@mta.ca Mon Oct 8 10:13:58 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 08 Oct 2007 10:13:58 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1IesPG-00043A-A4 for categories-list@mta.ca; Mon, 08 Oct 2007 10:12:22 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 28 Original-Lines: 30 Xref: news.gmane.org gmane.science.mathematics.categories:3971 Archived-At: wlawvere@buffalo.edu wrote: > The awesome nature of Sup cannot be the reason why > the Kummer functor exists, since it is merely used for=20 > recording the result. The functor is "caused" rather=20 > by an internal feature of the domain category C of=20 > commutative rings: The category of quotient objects > of any given R has a binary operation * that is neither > sup nor inf even though in principle it can be=20 > expressed as a combination of limits and colimits. Hear, hear. As a case in point the category Div that I described, namely the division category replacing the division lattice, has the number lcm(m,n) (least common multiple) as pushout over the categorical product gcd(m,n). This pushout is not the categorical sum of m and n, which is instead the number mn. (It is hell dealing with sum and product switching around like that down below. In the upper half of Div, namely FinSet, sum is m+n and product is mn as it is in heaven.) > We can call it R/ab=3DR/a *R/b but how does the=20 > operation * specialize to C concretely ? I was wondering the same thing. I bet something good would come out of a meeting between category theorists and ring theorists on the topic of finding the right abstractions here---presumably a lot of the groundwork is already in place, much as it was for UACT in 1993, although as I recall the algebraists didn't seem in the mood at the time. Vaughan