Some proposals for the set-theoretic foundations of category theory
DOI:
https://doi.org/10.13130/2037-4445/1495Abstract
The problem of finding proper set-theoretic foundations forcategory theory has challenged mathematician since the very beginning. In this paper we give an analysis of some of the standard approaches that havebeen proposed in the past 70 years. By means of the central notions of class and universe we suggest a possible conceptual recasting of these proposals. We focus on the intended semantics for the (problematic) notion of large category in each proposed foundation. Following Feferman (2006) we give a comparison and evaluation of their expressive power.Downloads
Published
2011-11-19
Issue
Section
Special Issue - Articles
License
The authors keep the intellectual property for their work, while the journal owns the exclusive rights concerning the first publication of the articles. The journal will also reserve the rights to create an Open Access archive under the Creative Commons License. Articles are published under a Creative Commons By Attribution License.