Abstract
According to Kreisel, category theory provides a powerful tool to organize mathematics. An example of this descriptive power is the categorical analysis of the practice of presenting classes as shorthands in ZF set theory. In this case, category theory provides a natural way to describe the relation between mathematics and metamathematics. If metamathematics can be described by using categories (in particular syntactic categories), the mathematical level can be represented by internal categories. Through this two-level interpretation, we can clarify the relation between classes and sets in ZF; in particular, we can describe two equivalent categorical notions of definable sets. Some common sayings about set theory are interpreted on the basis of this representation, emphasizing the distinction between naïve and rigorous sentences about sets and classes.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Awodey, S., C. Butz, A. Simpson, and T. Streicher. 2007. Relating topos theory and set theory via categories of classes. Bulletin of Symbolic Logic 13(3): 340–358.
Blass, A. 1984. The interaction between category theory and set theory. Contemporary Mathematics 30: 5–29.
Engler, E., and H. Röhrl. 1969. On the problem of foundations of category theory. Dialectica 23(1): 58–66
Feferman, S. 1977. Categorical foundations and foundations of category theory. In Logic, foundations of mathematics, and computability theory, The University of Western Ontario series in philosophy of science, vol. 9, ed. R.E. Butts and J. Hintikka, 149–169. Dordrecht: Springer.
Jech, T. 2003. The third millennium edition, revised and expanded. Springer monographs in mathematics. Berlin/New York: Springer.
Johnstone, P. 1977. Topos theory. London/New York: Academic Press.
Johnstone, P.T. 2002. Sketches of an elephant: A topos theory compendium, vol. 2, Volume 44 of Oxford logic guides. Oxford: The Clarendon Press/Oxford University Press.
Joyal, A., and I. Moerdijk. 1995. Algebraic set theory, Volume 220 of London mathematical society lecture note series. Cambridge: Cambridge University Press.
Kreisel, G. 1971. Observations of popular discussions on foundations. In Axiomatic set theory, Proceedings of symposia in pure mathematics, 1, ed. D.S. Scott and T.J. Jech, 183–190. Providence: American Mathematical Society.
Landry, E., and J.P. Marquis. 2005. Categories in context: historical, foundational and philosophical. Philosophia Mathematica (3) 13(1): 1–43.
Lawvere, F.W. 2005. An elementary theory of the category of sets (long version) with commentary. Reprints in Theory and Applications of Categories 11: 1–35.
Lolli, G. 1977. Categorie, universi e principi di riflessione. Bollati Boringhieri.
Marquis, J.P. 1995. Category theory and the foundations of mathematics: philosophical excavations. Synthese 103(3): 421–447.
Maschio, S. 2012. Aspects of internal set theory. PhD thesis.
McLarty, C. 2004. Exploring categorical structuralism. Philosophia Mathematica (3) 12: 37–53.
Rosolini, G. 2011. La categoria delle classi definibili in IZF è un modello di AST. XXIV incontro di logica AILA.
Simpson, A. 1999. Elementary axioms for category of classes. In Logic in computer science, Trento, 77–85
Acknowledgements
The author would like to acknowledge G. Rosolini and T. Streicher for very useful and fruitful discussions. The diagrams package by P. Taylor was used in this article.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Maschio, S. (2015). On the Distinction Between Sets and Classes: A Categorical Perspective. In: Lolli, G., Panza, M., Venturi, G. (eds) From Logic to Practice. Boston Studies in the Philosophy and History of Science, vol 308. Springer, Cham. https://doi.org/10.1007/978-3-319-10434-8_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-10434-8_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10433-1
Online ISBN: 978-3-319-10434-8
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)