Abstract
LetL be an elementary topos. The axiom of infinity, asserting thatL has a natural numbers object, is shown to be necessary-sufficiency has long been known-for the existence of an object-classifying topos overL.
Similar content being viewed by others
References
J. Bénabou,Théories relatives á un corpus, C.R. Acad. Sci. Paris281 (1985) pp. A831–834.
R. Diaconescu,Change of base for toposes with generators, J. Pure Appl. Alg.6 (1975) pp. 191–218.
P. Freyd,Aspects of topoi, Bull. Austral. Math. Soc.7 (1972) pp. 1–76 and 467–480.
P.Johnstone,Topos Theory, Academic Press, 1977
P.Johnstone and G.Wraith,Algebraic theories in toposes, inIndexed Categories and Their Applications, eds. P. Johnstone and R. Paré, Springer Lecture Notes in Math.661 (1978) pp. 141–242.
M.Tierney,Forcing topologies and classifying topoi, inAlgebra, Topology and Category Theory: a collection of papers in honor of Samuel Eilenberg, eds. A. Heller and M. Tierney, Academic Press, 1976, pp. 189–210.
Author information
Authors and Affiliations
Additional information
In Memory of Evelyn Nelson
Rights and permissions
About this article
Cite this article
Blass, A. Classifying topoi and the axiom of infinity. Algebra Universalis 26, 341–345 (1989). https://doi.org/10.1007/BF01211840
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01211840