From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2947 Path: news.gmane.org!not-for-mail From: Robert Seely Newsgroups: gmane.science.mathematics.categories Subject: Organization vs foundations: Kreisel, Lawvere and category theory Date: Thu, 8 Dec 2005 09:36:18 -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 1241019000 6462 80.91.229.2 (29 Apr 2009 15:30:00 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:30:00 +0000 (UTC) To: Categories List Original-X-From: rrosebru@mta.ca Fri Dec 9 09:34:45 2005 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 09 Dec 2005 09:34:45 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.52) id 1EkiJd-0004Po-8B for categories-list@mta.ca; Fri, 09 Dec 2005 09:29:37 -0400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 22 Original-Lines: 38 Xref: news.gmane.org gmane.science.mathematics.categories:2947 Archived-At: On 29 Nov 2005, the Montreal Category seminar hosted a talk by Jean-Pierre Marquis on the interaction between Kreisel's and Lawvere's views on category theory as a foundations for mathematics. It has been suggested that many on this list who were not able to attend the talk might find its contents of interest, and so would be interested to know that the slides for the talk are available on the triples seminar webpage, at http://www.math.mcgill.ca/rags/seminar/ (scroll down to the talk itself - the direct link is http://www.math.mcgill.ca/rags/seminar/Marquis_KreiselLawvere.pdf if you prefer). The slides are fairly complete, and give a good idea of the content of the talk itself. Here is an abstract of the talk: Jean-Pierre Marquis Organization vs foundations: Kreisel, Lawvere and category theory Abstract: it is well-known that in the nineteen-sixties, Bill Lawvere proposed that category theory could serve as a foundations for mathematics and logic. Only one logician reacted officially: Georg Kreisel. In a series of notes, appendices and reviews, Kreisel developed arguments against categorical foundations. In this talk, I will take a close look at his arguments, examine whether they are still convincing and propose that Kreisel's position is still underlying most of the arguments against categorical foundations heard to this day. --