Skip to main content
SpringerLink
Log in

The MacLane Problem on the Set-Theoretic Foundation for Category Theory. II

  • Published:
Journal of Mathematical Sciences Aims and scope Submit manuscript

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

REFERENCES

  1. K. Kuratovsky and A. Mostovski, Set Theory [Russian translation ], Mir, Moscow (1970).

    Google Scholar 

  2. J. L. Kelly, General Topology [Russian translation ], Nauka, Moscow (1968).

    Google Scholar 

  3. E. Mendelson, Introduction to Mathematical Logic [Russian translation ], Nauka, Moscow (1971).

    Google Scholar 

  4. S. Eilenberg and S. MacLane, “General theory of natural equivalences, ”Trans. Amer. Math. Soc., 58, 231–294 (1945).

    Google Scholar 

  5. S. MacLane, “Locally small categories and t e foundations of set t eory, ”In: Symposium, Warsaw (1959), pp. 25–43.

  6. C. Ehresmann, “Guttungen von lokalen Strukturen, ”J.–ber. Deutsch. Math. Verein, 60, No. 2, 49–77 (1957).

    Google Scholar 

  7. P. Dedecker, “Introduction aux structures locales, ”In: Coll. G ´eom. Dif. Glob. Bruxelles (1958), pp. 103–135.

  8. J. Sonner, “T e formal de nition of categories, ”Math. Z., 80, 163–176 (1962).

    Google Scholar 

  9. P. Gabriel, “Des cat ´egories ab ´eliennes, ”Bull. Soc. Math. France, 90, 323–448 (1962).

    Google Scholar 

  10. N. da Costa, “On two systems of set theory, ”Proc. Koninkl. Nederl. Akad. Wet., Ser. A., 68, 95–98 (1965).

    Google Scholar 

  11. N. da Costa, “Two formal systems of set theory, ”Proc. Koninkl. Nederl. Akad. Wet., Ser. A., 70, No 1, 45–51 (1967).

    Google Scholar 

  12. J. Isbell, “Structure of categories, ”Bull. Amer. Math. Soc., 72, 619–655 (1966).

    Google Scholar 

  13. S. MacLane, “One universe as a foundation for category theory, ”Lect. Notes Math., 106, 192–200 (1969).

    Google Scholar 

  14. S. MacLane, Categories for the Working Mathematician, Springer-Verlag, Berlin (1971).

    Google Scholar 

  15. S. Feferman, “Set-t eoretical foundations of category theory, ”Lect. Notes Math., 106, 201–247 (1969).

    Google Scholar 

  16. H. Herrlic and G. Strecker, Category Theory. An Introduction., Heldermann Verlag, Berlin (1979).

    Google Scholar 

  17. W. S. Hatcher, Foundations of Mathematics, W. B. Saunders Co., Philadelphia (1968).

    Google Scholar 

  18. J. Lambek, “Deductive systems and categories I. Syntactic calculus and residuated categories, ”Math. Syst. Theory, 2, No 4, 287–318 (1968).

    Google Scholar 

  19. J. Lambek, “Deductive systems and categories II, ”Lect. Notes Math., 86, 76–122 (1969).

    Google Scholar 

  20. J. Lambek, “Deductive systems and categories III, ”Lect. Notes Math., 274, 57–82 (1972).

    Google Scholar 

  21. F. W. Lawvere, “The category of categories as a foundation for mathematics, ” In: Proceedings of the Conference on Categorical Algebra, Springer-Verlag, Berlin (1966), pp. 1–20.

    Google Scholar 

  22. J. B ´enabou, “Fibered categories and t e foundations of naive category theory, ”J. Symbolic Logic, 50, 10–37 (1985).

    Google Scholar 

  23. P. T. Johnston, Topos Theory [Russian translation ], Nauka, Moscow (1986).

    Google Scholar 

  24. V. K. Zakarov and A. V. Mik alev, “On t e conception of a mathematical system, ”Fund. Pri kl. Mat., 4, No. 3, 927–935 (1998).

    Google Scholar 

  25. V. K. Zakarov and A. V. Mik alev, “Mathematical systems, ” In: Proceedings of the International Algebraic Conference, Walter De Gruyter Publisers, Berlin (2000), pp. 370–383.

    Google Scholar 

  26. V. K Zakarov and A. V. Mik alev, “Two-sorted theory of classes and sets admitting sets of propo-sitional formulas, ”Fund. Pri kl. Mat., 5, No. 2, 417–435 (1999).

    Google Scholar 

  27. V. K. Zakarov and A. V. Mikhalev, “The MacLane problem on set-t eoretical foundations for category t eory, ”J. Math, Sci., 102, No. 3, 4018–4031 (2000).

    Google Scholar 

  28. V. K. Zak arov and A. V. Mik alev, “Sets, categories, and mathematical systems as levels of the foundation of mat ematics, ” In: International Conference on Mathematical Logic [in Russian ], Mat. Inst. Sib. Otd. Ross. Akad. Nauk, Novosibirsk (1999), pp. 117–119.

  29. A. N. Kolmogorov and A. G. Dragilin, Introduction to Mathematical Logic [in Russian ], MGU, Moscow (1982).

    Google Scholar 

  30. A. Curc, Introduction to Mathematical Logic, Vol. 1 [Russian translation ], IL, Moscow (1960).

    Google Scholar 

  31. S. C. Kleene, Introduction to Metamathematics [Russian translation ], IL, Moscow (1957).

    Google Scholar 

  32. Yu. A. Ershov and A. A. Palyutin, Mathematical Logic [in Russian ], Nauka, Moscow (1987).

    Google Scholar 

  33. N. Bourbaki, Set Theory [Russian translation ], Nauka, Moscow (1965).

    Google Scholar 

Download references

Authors
  1. V. K. Zakharov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. V. Mikhalev
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zakharov, V.K., Mikhalev, A.V. The MacLane Problem on the Set-Theoretic Foundation for Category Theory. II. Journal of Mathematical Sciences 114, 1067–1085 (2003). https://doi.org/10.1023/A:1021941217859

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1021941217859

Keywords

Search

Navigation