Skip to main content
SpringerLink
Log in

Set-Theoretical foundations of category theory

  • Conference paper
  • First Online:
Reports of the Midwest Category Seminar III

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 106))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. P. Freyd, Abelian categories, Harper and Row, New York, 1964.

    MATH  Google Scholar 

  2. P. Gabriel, Des catégories abéliennes, Bull. Soc. Math. France., v. 90 (1962) pp. 323–448.

    MathSciNet  MATH  Google Scholar 

  3. K. Gödel, The consistency of the axiom of choice and the generalized continuum hypothesis, Annals of Math. Studies, V. 3, Princeton, 1951.

    Google Scholar 

  4. J. L. Kelley, General topology, Van Nostrand, Princeton.

    Google Scholar 

  5. G. Kreisel, Mathematical logic, pp. 95–195 in Lectures on Modern Mathematics, vol. III (ed. T.L. Saaty), Wiley, New York, 1965.

    Google Scholar 

  6. _____, Two notes on foundations, to appear in Dialectica.

    Google Scholar 

  7. G. Kreisel and J.-L. Krivine, Elements of mathematical logic; model theory, North-Holland, Amsterdam (1967).

    MATH  Google Scholar 

  8. J.-L. Krivine, Theorie axiomatique des ensembles, Presses Univ. de France, Paris, 1969.

    MATH  Google Scholar 

  9. W. F. Lawvere, Functorial semantics of algebraic theories, Dissertation, Columbia University, 1963.

    MATH  Google Scholar 

  10. _____, The category of categories as a foundation for mathematics, pp. 1–20 in Proc. Conf. on Categorical Algebra, La Jolla 1965, New York, 1966.

    Google Scholar 

  11. A. Lévy, Axiom schemata of strong infinity in axiomatic set theory, Pacific J. Math. v. 10 (1960), pp. 223–238.

    Article  MathSciNet  MATH  Google Scholar 

  12. S. Mac Lane, Locally small categories and the foundations of set theory, pp. 25–43 in Infinitistic methods, Oxford, 1961.

    Google Scholar 

  13. _____, Homology, Springer, Berlin, 1963.

    Book  MATH  Google Scholar 

  14. _____, Categorical algebra, B.A.M.S. v. 71 (1965), pp. 40–106.

    Article  MathSciNet  MATH  Google Scholar 

  15. _____, Foundations of mathematics: category theory, pp. 286–294 in Contemporary Philosophy, A Survey, I, Logic and Foundations of Mathematics, R. Kiblansky, editor, Florence 1968.

    Google Scholar 

  16. _____, Foundations for categories and sets, Proc. 1968 Conference on Category Theory and its applications, Battelle Institute, to appear.

    Google Scholar 

  17. R. Montague and R. L. Vaught, Natural models of set theories, Fund. Math. v. 47 (1959), pp. 219–242.

    MathSciNet  MATH  Google Scholar 

  18. A. Mostowski, Some impredicative definitions in the axiomatic set-theory, Fund. Math. v. 37 (1950), pp. 111–124.

    MathSciNet  MATH  Google Scholar 

  19. A. Robinson, Introductio mathematics of algebra

    Google Scholar 

  20. H. Wang, Truth definitio A.M.S. v. 73 (1962), pp.

    Google Scholar 

  21. E. Zermelo, Über Grenzzahlen und Mengenbereiche, Fund. Math. v. 16 (1930), pp. 29–47.

    MATH  Google Scholar 

Download references

Authors
  1. Solomon Feferman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. Kreisel
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1969 Springer-Verlag

About this paper

Cite this paper

Feferman, S., Kreisel, G. (1969). Set-Theoretical foundations of category theory. In: Reports of the Midwest Category Seminar III. Lecture Notes in Mathematics, vol 106. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0059148

Download citation

  • DOI: https://doi.org/10.1007/BFb0059148

  • Received:

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-04625-7

  • Online ISBN: 978-3-540-36150-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation