From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1432 Path: news.gmane.org!not-for-mail From: Andrej.Bauer@CS.cmu.edu Newsgroups: gmane.science.mathematics.categories Subject: Topos theory and large cardinals Date: 01 Mar 2000 22:29:58 -0500 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1241017826 31226 80.91.229.2 (29 Apr 2009 15:10:26 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:10:26 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Sat Mar 4 02:51:34 2000 -0400 Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.9.3/8.9.3) id CAA22994 for categories-list; Sat, 4 Mar 2000 02:08:35 -0400 (AST) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f User-Agent: Gnus/5.0803 (Gnus v5.8.3) XEmacs/20.4 (Emerald) Source-Info: Sender is really andrej+@gs2.sp.cs.cmu.edu Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 13 Xref: news.gmane.org gmane.science.mathematics.categories:1432 Archived-At: Can you complete this analogy? ``Large cardinals are to ZFC, as ???? are to topos theory.'' One answer is "Grothendieck universes", but they correspond to rather small large cardinals. Can we go further than that? -- Andrej Bauer School of Computer Science Carnegie Mellon University http://andrej.com