Sheaves in geometry and logic: a first introduction to topos theory

zbMath0822.18001MaRDI QIDQ1189567

Ieke Moerdijk

Publication date: 18 September 1992

Published in: Universitext (Search for Journal in Brave)

zbMATH Keywords

model theorysheaf theoryelementary topos

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Topoi (18B25) Étale and other Grothendieck topologies and (co)homologies (14F20) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Set theory (03E99) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) Presheaves and sheaves in general topology (54B40)

Related Items (only showing first 100 items - show all)

Normalization by evaluation and algebraic effects ⋮ A categorical theory of patches ⋮ Automata-theoretic semantics of idealized Algol with passive expressions ⋮ Category theory, logic and formal linguistics: some connections, old and new ⋮ Continuity and geometric logic ⋮ A representation theorem for integral rigs and its applications to residuated lattices. ⋮ A constructive manifestation of the Kleene-Kreisel continuous functionals ⋮ Cover relations on categories ⋮ \(\mathcal Q\)-\(*\)-categories ⋮ Étale groupoids and their quantales ⋮ The canonical topology on a meet-semilattice ⋮ A model for spacetime: the role of interpretation in some Grothendieck topoi ⋮ Diagrams and torsors ⋮ Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches ⋮ A model for spacetime. II: The emergence of higher dimensions and field theory/strings dualities ⋮ Sheaf tools for computation ⋮ Models for name-passing processes: Interleaving and causal ⋮ Coalgebras in a category of classes ⋮ Finitary topos for locally finite, causal and quantal vacuum Einstein gravity ⋮ A reduction theorem for the Kripke-Joyal semantics: forcing over an arbitrary category can always be replaced by forcing over a complete Heyting algebra ⋮ Fuzzy sets and sheaves. I: Basic concepts ⋮ Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology ⋮ Big toy models. Representing physical systems as Chu spaces ⋮ Bohrification of operator algebras and quantum logic ⋮ Exact approximations to Stone-Čech compactification ⋮ The fundamental pro-groupoid of an affine 2-scheme ⋮ A categorial semantic representation of quantum event structures ⋮ Relating first-order set theories, toposes and categories of classes ⋮ Basic subtoposes of the effective topos ⋮ The Hecke bicategory ⋮ Characterizations of categories of commutative \(C^*\)-subalgebras ⋮ Iterated chromatic subdivisions are collapsible ⋮ Topological forcing semantics with settling ⋮ Monads and distributive laws for Rota-Baxter and differential algebras ⋮ Compactly generated stacks: a Cartesian closed theory of topological stacks ⋮ Separating families of locale maps and localic embeddings ⋮ On \(L\)-Tychonoff spaces. II ⋮ The Schützenberger category of a semigroup. ⋮ Representation theory of MV-algebras ⋮ Relativized Grothendieck topoi ⋮ Fundamental results for pointfree convex geometry ⋮ The deformation theory of sheaves of commutative rings ⋮ Locatedness and overt sublocales ⋮ Deitmar's versus Toën-Vaquié's schemes over \({\mathbb{F}_{1}}\) ⋮ Characterizing Artin stacks ⋮ Derived rules for predicative set theory: an application of sheaves ⋮ Topological inductive definitions ⋮ A refinement of Stone duality to skew Boolean algebras ⋮ Infinite dimensional manifolds from a new point of view ⋮ Grishin algebras and cover systems for classical bilinear logic ⋮ Two-vector spaces and groupoids ⋮ Quasi right factorization structures as presheaves ⋮ A description of the fundamental group in terms of commutators and closure operators ⋮ Elementary characterisation of small quantaloids of closed cribles ⋮ The number of countable models in realizability toposes ⋮ Left Kan extensions preserving finite products ⋮ Two subcategories of apartness spaces ⋮ A homotopy theory for stacks ⋮ The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. ⋮ A van Kampen theorem for equivariant fundamental groupoids ⋮ Groupoid sheaves as quantale sheaves ⋮ Heyting mereology as a framework for spatial reasoning ⋮ Modes of adjointness ⋮ The homological Kähler-de Rham differential mechanism. II: Sheaf-theoretic localization of quantum dynamics ⋮ Partial inner product spaces: some categorical aspects ⋮ Sheaf toposes for realizability ⋮ The fundamental progroupoid of a general topos ⋮ Godement resolutions and sheaf homotopy theory ⋮ The weak choice principle WISC may fail in the category of sets ⋮ Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves ⋮ Duality for semilattice representations ⋮ The Zariski spectrum as a formal geometry ⋮ Two models of synthetic domain theory ⋮ Combinatorial functional and differential equations applied to differential posets ⋮ Dedekind complete posets from sheaves on von Neumann algebras ⋮ \(\mathbb{T}\)-motives ⋮ On \(K_{1}\) of an assembler ⋮ Locally anisotropic toposes ⋮ The associated sheaf functor theorem in algebraic set theory ⋮ Aspects of predicative algebraic set theory. I: Exact completion ⋮ Univalence in locally Cartesian closed categories ⋮ Poisson algebras for non-linear field theories in the Cahiers topos ⋮ Coherence for modalities ⋮ Enriched simplicial presheaves and the motivic homotopy category ⋮ Groupoid quantales: A non-étale setting ⋮ Characterizations of Morita equivalent inverse semigroups. ⋮ Fuzzy sets and geometric logic ⋮ Pointed semi-quantales and lattice-valued topological spaces ⋮ Categorical formulation of finite-dimensional quantum algebras ⋮ Homotopical algebraic geometry. I: Topos theory ⋮ Ultrasheaves and double negation ⋮ Sheaf-theoretic investigation of CIP-method ⋮ Encapsulating deontic and branching time specifications ⋮ Quotient-reflective and bireflective subcategories of the category of preordered sets ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness ⋮ On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular ⋮ Intuitionistic quantum logic of an \(n\)-level system ⋮ New wide classes of weakly Mal'tsev categories ⋮ Mass problems associated with effectively closed sets ⋮ Structuring co-constructive logic for proofs and refutations

This page was built for publication: Sheaves in geometry and logic: a first introduction to topos theory