The Importance of Developing a Foundation for Naive Category Theory

Thought: A Journal of Philosophy 4 (4):237-242 (2015)
Download Edit this record How to cite View on PhilPapers
Recently Feferman has outlined a program for the development of a foundation for naive category theory. While Ernst has shown that the resulting axiomatic system is still inconsistent, the purpose of this note is to show that nevertheless some foundation has to be developed before naive category theory can replace axiomatic set theory as a foundational theory for mathematics. It is argued that in naive category theory currently a ‘cookbook recipe’ is used for constructing categories, and it is explicitly shown with a formalized argument that this “foundationless” naive category theory therefore contains a paradox similar to the Russell paradox of naive set theory
PhilPapers/Archive ID
Upload history
Archival date: 2015-09-29
View other versions
Added to PP index

Total views
205 ( #27,554 of 2,432,657 )

Recent downloads (6 months)
12 ( #44,598 of 2,432,657 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.