Amendment/Commentary

[F W Lawvere <wlawvere@buffalo.edu>]

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
************************************************************