Results 1 
2 of
2
FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE
"... Abstract. Following a discussion of various forms of settheoretical 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 “unli ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract. Following a discussion of various forms of settheoretical 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. From the very beginnings of the subject of category theory as introduced by Eilenberg & Mac Lane (1945) it was recognized that the notion of category lends itself naturally to
Alternative Set Theories
, 2006
"... By “alternative set theories ” we mean systems of set theory differing significantly from the dominant ZF (ZermeloFrankel set theory) and its close relatives (though we will review these systems in the article). Among the systems we will review are typed theories of sets, Zermelo set theory and its ..."
Abstract
 Add to MetaCart
(Show Context)
By “alternative set theories ” we mean systems of set theory differing significantly from the dominant ZF (ZermeloFrankel set theory) and its close relatives (though we will review these systems in the article). Among the systems we will review are typed theories of sets, Zermelo set theory and its variations, New Foundations and related systems, positive set theories, and constructive set theories. An interest in the range of alternative set theories does not presuppose an interest in replacing the dominant set theory with one of the alternatives; acquainting ourselves with foundations of mathematics formulated in terms of an alternative system can be instructive as showing us what any set theory (including the usual one) is supposed to do for us. The study of alternative set theories can dispel a facile identification of “set theory ” with “ZermeloFraenkel set theory”; they are not the same thing. Contents 1 Why set theory? 2 1.1 The Dedekind construction of the reals............... 3 1.2 The FregeRussell definition of the natural numbers....... 4