Sets, Topoi, and Internal Logic in Categories

https://doi.org/10.1016/S0049-237X(08)71946-3Get rights and content

Publisher Summary

A recent development in category theory has been the description and study of a useful class of categories called “elementary topoi.” This class includes the ordinary category of sets: diagrams of sets and sheaves of sets on a topological space. The axiomatic description of these categories provides a formulation of axiomatic set theory wholly different from the usual set-theoretic axioms on the membership relation and the further study casts considerable light on a number of problems of foundations. Systematic developments of the properties of a topos from axioms are discussed in this chapter. Other categories with internal logic and quantifiers and their relations to standard logical systems are also described in the chapter. Given the basic geometric character of sheaf theory, this common development of ideas from geometry and concepts from set theory embodies exciting prospects.

References (27)

  • S. Kripke

    Semantical analysis of intuitionistic logic I

  • William Mitchell

    Boolean topoi and the theory of sets

    Journal of Pure and Applied Algebra

    (1972)
  • Gerhard Osius

    Categorical set theory: a characterization of the category of sets

    Journal of Pure and Applied Algebra

    (1974)
  • M. Artin et al.

    Théorie des topos et cohomologie étale des schémas

    (1973)
  • Marta C. Bunge, Boolean topoi and independence of Souslin's hypothesis, Aarhus Universitet, Matematisk Institut,...
  • Paul Cohen

    The independence of the continuum hypothesis, I and II

    Proceedings of the National Academy of Sciences of the USA

    (1963)
  • Paul Cohen

    Set Theory and the Continuum Hypothesis

    (1966)
  • J. C. Cole, Categories of sets and models of set theory, in: The Proceedings of the Bertrand Russell Memorial Logic...
  • Peter Freyd

    Aspects of topoi

    Bulletin of the Australian Mathematical Society

    (1972)
  • Roger Godement

    Théorie des Faisceaux

    (1958)
  • T. Jech

    Non-provability of Souslin's hypothesis

    Commentationes Mathematicae Universitatis Carolinae

    (1967)
  • A. Kock, On a theorem of Lauchli concerning proof bundles, to...
  • A. Kock, Introduction to functorial semantics, Lectures at the Bertrand Russell Memorial Logic Conference, Denmark,...
  • Cited by (11)

    • Pluri-adjoints and preservation of finite limits

      1990, Journal of Pure and Applied Algebra
    • Fuzzy sets in topoi

      1982, Fuzzy Sets and Systems
    • Doctrines in Categorical Logic

      1977, Studies in Logic and the Foundations of Mathematics
    • Sheaves of algebras over boolean spaces

      2012, Sheaves of Algebras over Boolean Spaces
    • Set Theory: Boolean-Valued Models and Independence Proofs

      2007, Set Theory: Boolean-Valued Models and Independence Proofs
    View all citing articles on Scopus
    *

    Supported in part by a grant from the National Science Foundation.

    View full text