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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
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).
Bénabou, J.-Celeyrette, J.: Généralités sur les Topos des Lawvere et Tierney. Preprint, Séminaire Bénabou (1970).
Bénabou, J.: Catégories et logiques faibles. Talk at the Oberwolfach Conference (1973).
Diaconescu, R.: Change of Base for some Toposes. Ph.D. thesis, Dalhousie University (1973).
Feferman, S.: Set-Theoretical Foundations of Category Theory. Reports of the Midwest Category Seminar III, Springer Lecture Notes 106, 201–247 (1969).
Freyd, P.: Aspects of topoi. Bull. Austral. Math. Soc. 7, 1–76 (1972).
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).
Kock, A.-Mikkelsen, Ch. J.: Topos theoretic factorizations of nonstandard extensions. Victoria Symposium on Nonstandard Analysis, Springer Lecture Notes 369, pp122–143 (1974).
Kock, A.-Wraith, G. C.: Elementary Toposes. Lecture Notes Series No. 30, Aarhus University (1971/72).
Krivine, J.-L.: Introduction to Axiomatic Set Theory. Dordrecht, Holland (1971).
Kruse, A. H.: Grothendieck universes and the super-complete models of Shepherdson. Compositio Math. 17, 96–101 (1965).
Kühnrich, M.: Über den Begriff des Universums. Z. math. Logik Grundlagen Math. 12, 37–50 (1966).
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).
Lawvere, F.W.: Quantifiers and sheaves. Actes du Congrès international des Mathématiciens (Nice 1970) 1, 329–334. Paris (1971).
Lawvere, F.W.: Toposes, Algebraic Geometry and Logic. Introduction. Springer Lecture Notes 274, 1–12 (1972).
Lawvere, F.W.-Tierney, M.: Talks at the Midwest Category Seminar, Zürich 1970. (see [7])
MacLane, S.: Foundations for categories and sets. Category Theory, Homology Theory and their Applications II, Springer Lecture Notes 92, 146–164 (1969).
MacLane, S.: One Universe as a Foundation for Category Theory. Reports of the Midwest Category Seminar III, Springer Lecture Notes 106, 192–200 (1969).
Maurer, Ch.: Universen als interne Topoi. Dissertation, University of Bremen (1974).
Maurer, Ch.: Ein rekursiv definiertes geordnetes Paar. In preparation.
Mikkelsen, Ch. J.: Thesis. To appear.-Talks at the Oberwolfach Conferences (1972, 1973).
Osius, G.: Eine Charakterisierung der Kategorie der Klassen und Abbildungen. Preprint, University of Bielefeld (1972).
Osius, G.: A characterization of the category of sets. To appear in J. Pure Applied Algebra.
Osius, G.: The internal and external aspect of logic and set theory in elementary topoi. To appear in Cahiers Top. Géom. Diff.
Osius, G.: Logical and set theoretical tools in elementary topoi. This volume.
Tarski, A.: Über unerreichbare Kardinalzahlen. Fund. Math. 30, 68–89 (1938).
Wraith, G. C.: Lectures on Elementary Topoi. This volume.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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
