Enriched stratified systems for the foundations of category

by Solomon Feferman
Citations:2 - 1 self

Documents Related by Co-Citation

16 On the consistency of a slight (?) modification of Quine’s New Foundations – R Jensen - 1969
29 New foundations for mathematical logic – Willard Van Orman Quine - 1953
11 Set-theoretical foundations for category theory (with an appendix by G – S Feferman - 1969
8 Typical ambiguity: trying to have your cake and eat it too – Solomon Feferman, John Heywood
2 The category of all categories as a foundation for mathematics – F W Lawvere - 1966
2 Locally small categories and the foundations of mathematics – Mac Lane, S - 1961
5 Operational set theory and small large cardinals – S Feferman - 2009
2 Set theory over classes – A Oberschelp - 1973
1 On the problem of foundations of category theory – E Engeler, H Röhrl - 1969
3 One universe as a foundation for category theory – S Mac Lane - 1969
5 Axiomatizing a category of categories – C McLarty - 1991
28 An elementary theory of the category of sets – F W Lawvere - 1964
20 Categorical Foundations and the Foundations of Category Theory – S Feferman - 1977
25 Abelian categories – P J Freyd
54 Synthetic Differential Geometry – Anders Kock - 2006
82 General Theory of Natural Equivalences – S Eilenberg, S MacLane - 1945
10 Does category theory provide a framework for mathematical structuralism? – Geoffrey Hellman - 2003
12 Models of axiomatic theories admitting automorphisms – A Ehrenfeucht, A Mostowski - 1956
14 Categorical set theory: a characterization of the category of sets – G Osius - 1974