From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3484 Path: news.gmane.org!not-for-mail From: F W Lawvere Newsgroups: gmane.science.mathematics.categories Subject: Amendment/Commentary Date: Tue, 31 Oct 2006 08:58:17 -0500 (EST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241019334 8967 80.91.229.2 (29 Apr 2009 15:35:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:35:34 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue Oct 31 19:19:17 2006 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 31 Oct 2006 19:19:17 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Gf2kp-0000dP-DB for categories-list@mta.ca; Tue, 31 Oct 2006 19:10:47 -0400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 47 Original-Lines: 32 Xref: news.gmane.org gmane.science.mathematics.categories:3484 Archived-At: Re: Commentary of Adjointness in Foundations in TAC Reprints Dear colleagues, I have taken advantage of the useful possibility for post-publication amendments to add two sentences to my commentary for the TAC Reprint no. 16, Adjointness in Foundations. Matias Menni has made several advances concerning the connection between tractability of proof theory and classical logic of the meta theory. His recent works contain important concepts and precise versions which update the formulations given in my commentary. Thanks to Bob Rosebrugh and Mike Barr. Bill Lawvere ************************************************************ F. William Lawvere Mathematics Department, State University of New York 244 Mathematics Building, Buffalo, N.Y. 14260-2900 USA Tel. 716-645-6284 HOMEPAGE: http://www.acsu.buffalo.edu/~wlawvere ************************************************************