Topos-theoretic factorization of non-standard extensions

  • Anders Kock
  • Chr. Juul Mikkelsen
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 369)


Universal Quantification High Order Logic Springer Lecture Note Existential Quantification Logic Preserve 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Barr, Exact Categories, in Barr, Grillet, and van Osdol: Exact Categories and Categories of Sheaves, Springer Lecture Notes, Vol. 236 (1971).Google Scholar
  2. 2.
    S. Eilenberg and G.M. Kelly, Closed Categories, Proc. Conf. Categorical Algebra (La Jolla 1965), Springer Verlag 1966.Google Scholar
  3. 3.
    J. Gray, The Meeting of Midwest Category Seminar in Zürich August 24–30, 1970, Reports of the Midwest Category Seminar V, Springer Lecture Notes Vol. 195 (1971).Google Scholar
  4. 4.
    G.M. Kelly, Adjunction for Enriched Categories, Reports of the Midwest Category Seminar III, Springer Lecture Notes Vol. 106 (1969).Google Scholar
  5. 5.
    A. Kock, Introduction to Functorial Semantics, mimeographed notes, The Bertrand Russell Memorial Logic Conference; Uldum, Denmark, August 1971.Google Scholar
  6. 6.
    A. Kock and C.J. Mikkelsen, Non-standard extensions in the theory of toposes, Aarhus Universitet Preprint Series 1971/72 No. 25.Google Scholar
  7. 7.
    A. Kock and C.J. Mikkelsen, Strongly faithful functors between toposes, in preparation.Google Scholar
  8. 8.
    A. Kock and G.C. Wraith, Elementary Toposes, Aarhus Universitet Lecture Notes Series No. 30 (1971).Google Scholar
  9. 9.
    F.W. Lawvere, An elementary theory of the category of sets, mimeographed, University of Chicago 1963.Google Scholar
  10. 10.
    F.W. Lawvere, Reports of the Conference of Mathematical Logic, Leicester 1965.Google Scholar
  11. 11.
    F.W. Lawvere, Equality in Hyperdoctrines and Comprehension Scheme as an Adjoint Functor, Proceedings of Symposia in Pure Mathematics, Vol. 17, AMS (1970).Google Scholar
  12. 12.
    F.W. Lawvere, Quantifiers and Sheaves, Actes, Congress International Math. 1970 (Nice), Tome 1, p. 329–334.Google Scholar
  13. 13.
    F.W. Lawvere and M. Tierney, to appear.Google Scholar
  14. 14.
    M. Machover and J. Hirschfeld, Lectures on Non-standard Analysis, Springer Lecture Notes Vol. 94 (1969).Google Scholar
  15. 15.
    C.J. Mikkelsen, Colimits in toposes, in preparation.Google Scholar
  16. 16.
    A. Robinson, Non-standard Analysis, North Holland 1966.Google Scholar
  17. 17.
    H. Volger, Logical categories, semantical categories, and topoi, to appear.Google Scholar

Copyright information

© Springer-Verlag 1974

Authors and Affiliations

  • Anders Kock
    • 1
  • Chr. Juul Mikkelsen
    • 1
  1. 1.Aarhus UniversitetUSA

Personalised recommendations