Published online by Cambridge University Press: 01 June 2012
Following a discussion of various forms of set-theoretical foundations of category theory and the controversial question of whether category theory does or can provide an autonomous foundation of mathematics, this article concentrates on the question whether there is a foundation for “unlimited” or “naive” category theory. The author proposed four criteria for such some years ago. The article describes how much had previously been accomplished on one approach to meeting those criteria, then takes care of one important obstacle that had been met in that approach, and finally explains what remains to be done if one is to have a fully satisfactory solution.
Full text views reflects PDF downloads, PDFs sent to Google Drive, Dropbox and Kindle and HTML full text views.