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

Settheoretical 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
