The prospects of unlimited category theory: Doing what remains to be done

Review of Symbolic Logic 8 (2):306-327 (2015)

Michael Ernst
University of California, Irvine
The big question at the end of Feferman is: Is it possible to find a foundation for unlimited category theory? I show that the answer is no by showing that unlimited category theory is inconsistent.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020314000495
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,149
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

Axiomatizing a Category of Categories.Colin McLarty - 1991 - Journal of Symbolic Logic 56 (4):1243-1260.
Elementary Categories, Elementary Toposes.Colin Mclarty - 1997 - Studia Logica 59 (1):143-146.
Failure of Cartesian Closedness in NF.Colin McLarty - 1992 - Journal of Symbolic Logic 57 (2):555-556.
Spanning Graphs and the Axiom of Choice.Christian Delhommé & Marianne Morillon - 2006 - Reports on Mathematical Logic:165-180.

Add more references

Citations of this work BETA

Elaine Landry, Ed. Categories for the Working Philosopher.Neil Barton - forthcoming - Philosophia Mathematica:nkz020.

Add more citations

Similar books and articles


Added to PP index

Total views
77 ( #115,066 of 2,289,312 )

Recent downloads (6 months)
6 ( #187,342 of 2,289,312 )

How can I increase my downloads?


My notes

Sign in to use this feature