From sets to types to categories to sets

Three different styles of foundations of mathematics are now commonplace: set theory, type theory, and category theory. How do they relate, and how do they differ? What advantages and disadvantages does each one have over the others? We pursue these questions by considering interpretations of each system into the others and examining the preservation and loss of mathematical content thereby. In order to stay focused on the “big picture”, we merely sketch the overall form of each construction, referring to the literature for details. Each of the three steps considered below is based on more recent logical research than the preceding one. The first step from sets to types is essentially the familiar idea of set theoretic semantics for a syntactic system, i.e. giving a model; we take a brief glance at this step from the current point of view, mainly just to fix ideas and notation. The second step from types to categories is known to categorical logicians as the construction of a “syntactic category”; we give some specifics for the benefit of the reader who is not familiar with it. The third step from categories to sets is based on quite recent work, but captures in a precise way an intuition from the early days of foundational studies. With these pieces in place, we can then draw some conclusions regarding the differences between the three schemes, and their relative merits. In particular, it is possible to state more precisely why the methods of category theory are more appropriate to philosophical structuralism.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,803
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Category Theory: The Language of Mathematics.Elaine Landry - 1999 - Philosophy of Science 66 (3):27.
Category Theory as an Autonomous Foundation.Øystein Linnebo & Richard Pettigrew - 2011 - Philosophia Mathematica 19 (3):227-254.
Axiomatizing a Category of Categories.Colin McLarty - 1991 - Journal of Symbolic Logic 56 (4):1243-1260.
Sets, Classes, and Categories.F. A. Muller - 2001 - British Journal for the Philosophy of Science 52 (3):539-573.
A New Symbolic Representation for the Algebra of Sets.Jerome Frazee - 1990 - History and Philosophy of Logic 11 (1):67-75.
Sets and Point-Sets: Five Grades of Set-Theoretic Involvement in Geometry.John P. Burgess - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:456 - 463.
Added to PP index

Total downloads
91 ( #59,252 of 2,202,777 )

Recent downloads (6 months)
1 ( #301,722 of 2,202,777 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature