[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
categories: Topos theory and large cardinals
- To: categories@mta.ca
- Subject: categories: Topos theory and large cardinals
- From: Andrej.Bauer@cs.cmu.edu
- Date: 01 Mar 2000 22:29:58 -0500
- Sender: cat-dist@mta.ca
- Source-Info: Sender is really andrej+@gs2.sp.cs.cmu.edu
- User-Agent: Gnus/5.0803 (Gnus v5.8.3) XEmacs/20.4 (Emerald)
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