Skip to main content

Universes in topoi

Part III (Presented At A Conference In Berlin, October 1973, Organized By Ch. Maurer; Manuscripts Received By The Editors In June 1974)

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

Keywords

  • Category Theory
  • Springer Lecture Note
  • Extensional Relation
  • Unique Morphism
  • Identity Morphism

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 (USA)
  • DOI: 10.1007/BFb0061298
  • Chapter length: 13 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   44.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-37495-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   59.95
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Artin, M.-Grothendieck, A.-Verdier, J. L.: Théorie des Topos et Cohomologie Étale des Schémas (SGA 4, 1963/64). Springer Lecture Notes 269, 270 (1972).

    MathSciNet  Google Scholar 

  2. Bénabou, J.-Celeyrette, J.: Généralités sur les Topos des Lawvere et Tierney. Preprint, Séminaire Bénabou (1970).

    Google Scholar 

  3. Bénabou, J.: Catégories et logiques faibles. Talk at the Oberwolfach Conference (1973).

    Google Scholar 

  4. Diaconescu, R.: Change of Base for some Toposes. Ph.D. thesis, Dalhousie University (1973).

    Google Scholar 

  5. Feferman, S.: Set-Theoretical Foundations of Category Theory. Reports of the Midwest Category Seminar III, Springer Lecture Notes 106, 201–247 (1969).

    Google Scholar 

  6. Freyd, P.: Aspects of topoi. Bull. Austral. Math. Soc. 7, 1–76 (1972).

    MathSciNet  CrossRef  MATH  Google Scholar 

  7. Gray, J.: The meeting of the Midwest Category Seminar in Zürich, August 24–30, 1970. Reports of the Midwest Category Seminar V, Springer Lecture Notes 195, 248–255 (1971).

    Google Scholar 

  8. Kock, A.-Mikkelsen, Ch. J.: Topos theoretic factorizations of nonstandard extensions. Victoria Symposium on Nonstandard Analysis, Springer Lecture Notes 369, pp122–143 (1974).

    Google Scholar 

  9. Kock, A.-Wraith, G. C.: Elementary Toposes. Lecture Notes Series No. 30, Aarhus University (1971/72).

    Google Scholar 

  10. Krivine, J.-L.: Introduction to Axiomatic Set Theory. Dordrecht, Holland (1971).

    Google Scholar 

  11. Kruse, A. H.: Grothendieck universes and the super-complete models of Shepherdson. Compositio Math. 17, 96–101 (1965).

    MathSciNet  MATH  Google Scholar 

  12. Kühnrich, M.: Über den Begriff des Universums. Z. math. Logik Grundlagen Math. 12, 37–50 (1966).

    MathSciNet  CrossRef  MATH  Google Scholar 

  13. Lawvere, F.W.: The Category of Categories as a Foundation for Mathematics. Proc. Conf. Categorical Algebra (La Jolla 1965), 1–20, Berlin-Heidelberg-New York (1966).

    Google Scholar 

  14. Lawvere, F.W.: Quantifiers and sheaves. Actes du Congrès international des Mathématiciens (Nice 1970) 1, 329–334. Paris (1971).

    MathSciNet  MATH  Google Scholar 

  15. Lawvere, F.W.: Toposes, Algebraic Geometry and Logic. Introduction. Springer Lecture Notes 274, 1–12 (1972).

    MathSciNet  Google Scholar 

  16. Lawvere, F.W.-Tierney, M.: Talks at the Midwest Category Seminar, Zürich 1970. (see [7])

    Google Scholar 

  17. MacLane, S.: Foundations for categories and sets. Category Theory, Homology Theory and their Applications II, Springer Lecture Notes 92, 146–164 (1969).

    MathSciNet  CrossRef  Google Scholar 

  18. MacLane, S.: One Universe as a Foundation for Category Theory. Reports of the Midwest Category Seminar III, Springer Lecture Notes 106, 192–200 (1969).

    Google Scholar 

  19. Maurer, Ch.: Universen als interne Topoi. Dissertation, University of Bremen (1974).

    Google Scholar 

  20. Maurer, Ch.: Ein rekursiv definiertes geordnetes Paar. In preparation.

    Google Scholar 

  21. Mikkelsen, Ch. J.: Thesis. To appear.-Talks at the Oberwolfach Conferences (1972, 1973).

    Google Scholar 

  22. Osius, G.: Eine Charakterisierung der Kategorie der Klassen und Abbildungen. Preprint, University of Bielefeld (1972).

    Google Scholar 

  23. Osius, G.: A characterization of the category of sets. To appear in J. Pure Applied Algebra.

    Google Scholar 

  24. Osius, G.: The internal and external aspect of logic and set theory in elementary topoi. To appear in Cahiers Top. Géom. Diff.

    Google Scholar 

  25. Osius, G.: Logical and set theoretical tools in elementary topoi. This volume.

    Google Scholar 

  26. Tarski, A.: Über unerreichbare Kardinalzahlen. Fund. Math. 30, 68–89 (1938).

    MATH  Google Scholar 

  27. Wraith, G. C.: Lectures on Elementary Topoi. This volume.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1975 Springer-Verlag

About this paper

Cite this paper

Maurer, C. (1975). Universes in topoi. In: Lawvere, F.W., Maurer, C., Wraith, G.C. (eds) Model Theory and Topoi. Lecture Notes in Mathematics, vol 445. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0061298

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07164-8

  • Online ISBN: 978-3-540-37495-4

  • eBook Packages: Springer Book Archive