Keywords
- Topological Space
- Heyting Algebra
- Left Adjoint
- Finite Limit
- Forgetful Functor
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.
Bibliography
M. Artin, Grothendieck Topologies, Harvard University Press (1962).
M. Artin, A. Grothendieck, J. Verdier, Theorie des Topos et Cohomologie Etale des Schemas, Springer Lecture Notes Nos. 269 and 270 (revised version of SGA4 1963/64).
M. Barr, Toposes without points, Preprint. McGill University (1973).
J. C. Cole, Categories of sets and models of set theory, Thesis (University of Sussex 1972). Aarhus preprint No. 52 (1971).
Diaconescu, Thesis (Rutgers University 1973).
P. Freyd, Aspects of Topoi, Bull. Australian Math. Soc. (1972) Vol. 7. pp. 1–76.
P. Freyd, On the logic of Topoi, Preprint. University of Pennsylvania, (1973).
J. Giraud, Analysis Situs. Sem. Bourbaki (1962/63).
J. Giraud, Methode de la descente. Mem. Soc. Math. France (1964).
J. Giraud, Cohomologie non-abelienne. Springer. Grundlehren Band 179. (1971).
M. Hakim, Topos Anneles et Schemas relatifs, Springer. Ergebuisse band 64. (1972).
L. Illusie, Complexe Cotangent et Deformations. Springer Lecture Notes Nos. 239 and 283.
G. M. Kelly and R. Street, Abstracts of the Sydney Category Theory Seminar (1972). University of New South Wales.
A. Kock, On a theorem of Läuchli concerning proof bundles. Preprint. Aarhus (1970).
A. Kock and Chr. Juul Mikkelsen, Non-standard Extensions in the Theory of Toposes. Aarhus Preprint series No. 25 (1971/72).
A. Kock and Chr. Juul Mikkelsen, Topos-Theoretic Factorization of Non-standard Extensions. Preprint. Aarhus (1972).
A. Kock and G. Wraith. Elementary Toposes. Aarhus Lecture Notes No. 30 (1970/71).
F. W. Lawvere, An elementary theory of the category of sets. Proc. Nat. Acad. Sci. 52 (1964) pp. 1506–1511.
F. W. Lawvere, Adjointness in Foundations. Dialectica. 23 (1969) pp. 281–296.
F. W. Lawvere, Equality in hyperdoctrines and comprehension as an adjoint functor. Symposia in Pure Maths. Vol. XVII A.M.S. (1970).
F. W. Lawvere, Quantifiers and sheaves. Actes du Congres International des Mathematiciens. Nice. (1970). pp. 329–334.
F. W. Lawvere and M. Tierney, Summary by J. Gray. Springer Lecture Notes No. 195 (1971).
F. W. Lawvere, Toposes, Algebraic Geometry and Logic. Springer Lecture Notes. No. 274. (1972).
W. Mitchell, On Topoi as closed Categories. J. Pure and Applied Algebra. Vol. 3 No. 2. 1973.
D. Mumford, Picard group of moduli problems. Proc. Conference on arithmetical algebraic geometry at Purdue. (1963).
R. Paré. Colimits in Topoi, Preprint. Dalhousie University (1973).
D. Quillen, Homotopical Algebra. Springer Lecture Notes. No. 43 (1967).
M. Tierney, Axiomatic Sheaf Theory. C.I.M.E. conference on Categories and Commutative Algebra. Varenna (1971). pp. 249–326. Edizioni Cremonese. Rome (1973).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1975 Springer-Verlag
About this paper
Cite this paper
Wraith, G.C. (1975). Lectures on elementary 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/BFb0061296
Download citation
DOI: https://doi.org/10.1007/BFb0061296
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
