Sets, Topoi and Intuitionism
Ieke Moerdijk · Philosophia Mathematica · 1998
This paper aims to give an informal introduction to the ways in which a topos can be viewed as an intuitionistic universe of sets. In particular, it is explained how infinitesimal real numbers and various types of ordinal numbers arise in this context.