Subject: categories: Topos theory and large cardinals

From: [email-masked]
Date: 01 Mar 2000 22:29:58 -0500

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