Topos theory and large cardinals

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