Skip to main content

Lectures on elementary topoi

Part II (Presented At A Conference In Bangor, Organized By R. Brown, In September 1973; Manuscripts Received By The Editors In November 1973)

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

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

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   44.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.95
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. M. Artin, Grothendieck Topologies, Harvard University Press (1962).

    Google Scholar 

  2. 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).

    Google Scholar 

  3. M. Barr, Toposes without points, Preprint. McGill University (1973).

    Google Scholar 

  4. J. C. Cole, Categories of sets and models of set theory, Thesis (University of Sussex 1972). Aarhus preprint No. 52 (1971).

    Google Scholar 

  5. Diaconescu, Thesis (Rutgers University 1973).

    Google Scholar 

  6. P. Freyd, Aspects of Topoi, Bull. Australian Math. Soc. (1972) Vol. 7. pp. 1–76.

    CrossRef  MathSciNet  MATH  Google Scholar 

  7. P. Freyd, On the logic of Topoi, Preprint. University of Pennsylvania, (1973).

    Google Scholar 

  8. J. Giraud, Analysis Situs. Sem. Bourbaki (1962/63).

    Google Scholar 

  9. J. Giraud, Methode de la descente. Mem. Soc. Math. France (1964).

    MATH  Google Scholar 

  10. J. Giraud, Cohomologie non-abelienne. Springer. Grundlehren Band 179. (1971).

    Google Scholar 

  11. M. Hakim, Topos Anneles et Schemas relatifs, Springer. Ergebuisse band 64. (1972).

    MATH  Google Scholar 

  12. L. Illusie, Complexe Cotangent et Deformations. Springer Lecture Notes Nos. 239 and 283.

    Google Scholar 

  13. G. M. Kelly and R. Street, Abstracts of the Sydney Category Theory Seminar (1972). University of New South Wales.

    Google Scholar 

  14. A. Kock, On a theorem of Läuchli concerning proof bundles. Preprint. Aarhus (1970).

    Google Scholar 

  15. A. Kock and Chr. Juul Mikkelsen, Non-standard Extensions in the Theory of Toposes. Aarhus Preprint series No. 25 (1971/72).

    Google Scholar 

  16. A. Kock and Chr. Juul Mikkelsen, Topos-Theoretic Factorization of Non-standard Extensions. Preprint. Aarhus (1972).

    Google Scholar 

  17. A. Kock and G. Wraith. Elementary Toposes. Aarhus Lecture Notes No. 30 (1970/71).

    Google Scholar 

  18. F. W. Lawvere, An elementary theory of the category of sets. Proc. Nat. Acad. Sci. 52 (1964) pp. 1506–1511.

    CrossRef  MathSciNet  MATH  Google Scholar 

  19. F. W. Lawvere, Adjointness in Foundations. Dialectica. 23 (1969) pp. 281–296.

    CrossRef  MathSciNet  MATH  Google Scholar 

  20. F. W. Lawvere, Equality in hyperdoctrines and comprehension as an adjoint functor. Symposia in Pure Maths. Vol. XVII A.M.S. (1970).

    Google Scholar 

  21. F. W. Lawvere, Quantifiers and sheaves. Actes du Congres International des Mathematiciens. Nice. (1970). pp. 329–334.

    Google Scholar 

  22. F. W. Lawvere and M. Tierney, Summary by J. Gray. Springer Lecture Notes No. 195 (1971).

    Google Scholar 

  23. F. W. Lawvere, Toposes, Algebraic Geometry and Logic. Springer Lecture Notes. No. 274. (1972).

    Google Scholar 

  24. W. Mitchell, On Topoi as closed Categories. J. Pure and Applied Algebra. Vol. 3 No. 2. 1973.

    Google Scholar 

  25. D. Mumford, Picard group of moduli problems. Proc. Conference on arithmetical algebraic geometry at Purdue. (1963).

    Google Scholar 

  26. R. Paré. Colimits in Topoi, Preprint. Dalhousie University (1973).

    Google Scholar 

  27. D. Quillen, Homotopical Algebra. Springer Lecture Notes. No. 43 (1967).

    Google Scholar 

  28. M. Tierney, Axiomatic Sheaf Theory. C.I.M.E. conference on Categories and Commutative Algebra. Varenna (1971). pp. 249–326. Edizioni Cremonese. Rome (1973).

    MATH  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

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