Skip to main content

Set-Theoretical foundations of category theory

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

Keywords

  • Abelian Group
  • Free Variable
  • Closure Condition
  • Category Theory
  • Mathematical Practice

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (Canada)
  • 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

Learn about 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.

    CrossRef  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.

    CrossRef  MATH  Google Scholar 

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

    CrossRef  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

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