From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3476
Path: news.gmane.org!not-for-mail
From: "George Janelidze" <janelg@telkomsa.net>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: Characterization of integers as a commutative ring with unit
Date: Fri, 27 Oct 2006 11:29:29 +0200
Message-ID: <E1GdQwe-0004wl-PW@mailserv.mta.ca>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain;charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Trace: ger.gmane.org 1241019329 8935 80.91.229.2 (29 Apr 2009 15:35:29 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:35:29 +0000 (UTC)
To: <categories@mta.ca>
Original-X-From: rrosebru@mta.ca Fri Oct 27 09:39:37 2006 -0300
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Fri, 27 Oct 2006 09:39:37 -0300
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61)
	(envelope-from <cat-dist@mta.ca>)
	id 1GdQwe-0004wl-PW
	for categories-list@mta.ca; Fri, 27 Oct 2006 09:36:20 -0300
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 39
Original-Lines: 42
Xref: news.gmane.org gmane.science.mathematics.categories:3476
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/3476>

Dear Steve,

Thank you for your kind words. I have mentioned my paper with Aurelio only
because there are too many details that I could not describe in a brief
email message. But if it comes to "...I should have mentioned explicitly
your work with Aurelio...", I can say the same about myself: I should have
mentioned your (very important!) paper

[A. Carboni, S. Lack, and R. F. C. Walters, Introduction to extensive and
distributive categories, Journal of Pure and Applied Algebra 84, 1993,
145-158]

and Bill Lawvere's original question about commutative rings and many other
things that Aurelio did mention in his CT1999 talk. (In any case, I hope you
do not assume that I know what "Coq" is, do you?)

Yours-

George

----- Original Message -----
From: "Stephen Lack" <S.Lack@uws.edu.au>
To: "George Janelidze" <janelg@telkomsa.net>; <categories@mta.ca>
Cc: "Andrej Bauer" <Andrej.Bauer@fmf.uni-lj.si>
Sent: Friday, October 27, 2006 9:51 AM
Subject: RE: categories: RE: Characterization of integers as a commutative
ring with unit


Dear George,

I remember well your lovely talk and paper, and indeed I had this
in mind when I wrote. I shouldn't have used the words "extra structure"
(in fact I said this really because I don't know what "Coq" is) and I
should have mentioned explicitly your work with Aurelio.

Sorry.

Steve.