# The Importance of Developing a Foundation for Naive Category Theory

*Thought: A Journal of Philosophy*4 (4):237-242 (2015)

**Abstract**

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

**Keywords**

**Categories**

(categorize this paper)

**DOI**

**PhilPapers/Archive ID**

CABTIO-2

**Revision history**

Archival date: 2015-09-29

View upload history

View upload history

References found in this work BETA

Topoi: The Catergorical Analysis of Logic.Goldblatt, R. I.

Foundations of Unlimited Category Theory: What Remains to Be Done: Foundations of Unlimited Category Theory: What Remains to Be Done.Feferman, Solomon

What is Required of a Foundation for Mathematics?Mayberry, John

View all 6 references / Add more references

Citations of this work BETA

No citations found.

**Added to PP index**

2015-09-28

**Total views**

162 ( #18,811 of 41,652 )

**Recent downloads (6 months)**

30 ( #20,151 of 41,652 )

How can I increase my downloads?

**Downloads since first upload**

*This graph includes both downloads from PhilArchive and clicks to external links.*