Sheaves in geometry and logic: a first introduction to topos theory
From MaRDI portal
Publication:1189567
zbMath0822.18001MaRDI QIDQ1189567
Ieke Moerdijk, Saunders Mac Lane
Publication date: 18 September 1992
Published in: Universitext (Search for Journal in Brave)
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
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, Program logic and equivalence in the presence of garbage collection., On the normal completion of a Boolean algebra, Facets of descent. I, Computational adequacy for recursive types in models of intuitionistic set theory, Saturated models of intuitionistic theories, Quantum groups on fibre bundles, A model for intuitionistic non-standard arithmetic, Algebraic proofs of cut elimination, Effect algebras, presheaves, non-locality and contextuality, Quillen closed model structures for sheaves, A sheaf-theoretic foundation for nonstandard analysis, Kripke models and the (in)equational logic of the second-order \(\lambda\)-calculus, Extensional realizability, Topos theory and consistent histories: The internal logic of the set of all consistent sets, Sigma limits in 2-categories and flat pseudofunctors, Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures, Internal categories and groupoids in congruence modular varieties, Semilattice-based dualities, Regular and exact completions, Classifying toposes for first-order theories, Homotopy theory, and change of base for groupoids and multiple groupoids, Spaces with local equivalence relations, and their monodromy, Formalization of a normalization theorem in simplicial topology, The space of measurement outcomes as a spectral invariant for non-commutative algebras, Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator, The construction of \(\pi_0\) in Axiomatic Cohesion, A comparison of two topos-theoretic approaches to quantum theory, Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay, The monoidal Eilenberg-Moore construction and bialgebroids, Presheaf models for CCS-like languages, A new framework for declarative programming, Prolongations, suspensions and telescopes, An étalé space construction for stacks, Toward foundations of near sets: (pre-)sheaf theoretic approach, Sites whose topoi are the smooth representations of locally prodiscrete monoids, Resolutions, higher extensions and the relative Mal'tsev axiom, Contextual semantics in quantum mechanics from a categorical point of view, Simplicial presheaves of coalgebras, Homology of algebras of families of pseudodifferential operators., Comparing material and structural set theories, Contextuality and noncommutative geometry in quantum mechanics, \(L\)-filters and \(L\)F-topologies., Some invariant skeletons for \(\ell\)-u groups and MV-algebras, One-sided orthogonality, orthomodular spaces, quantum sets, and a class of Garside groups, Scattered toposes, Sheaves and duality, The stack of Yang-Mills fields on Lorentzian manifolds, Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice, Ultrafilters, finite coproducts and locally connected classifying toposes, Ultrapowers as sheaves on a category of ultrafilters, Läuchli's completeness theorem from a topos-theoretic perspective, The universal covering of an inverse semigroup., Quasi left factorization structures as presheaves, Constructive pointfree topology eliminates non-constructive representation theorems from Riesz space theory, Actions and expansions of ordered groupoids, Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism, Syntactic categories for Nori motives, Surveyable sets, Effect algebras as presheaves on finite Boolean algebras, Homotopy coherent mapping class group actions and excision for Hochschild complexes of modular categories, Filter quotients and non-presentable \((\infty,1)\)-toposes, On finite MTL-algebras that are representable as poset products of Archimedean chains, Model structures on the category of small double categories, \(\mathcal{A}\)-invariance: An axiomatic approach to quantum relativity, Topos-theoretic extension of a modal interpretation of quantum mechanics, Incidence hypergraphs: injectivity, uniformity, and matrix-tree theorems, On sheaf cohomology and natural expansions, Partial pullback complement rewriting along admissible matches, Extensions of the category \(S\)-act, De Morgan classifying toposes, Possible worlds and resources: The semantics of \(\mathbf{BI}\), Categorical specification and implementation of replicated data types, \(U\)-Sets as a possibilistic set theory, Universal monos in partial morphism categories, Fundamental groups and finite sheeted coverings, Noncommutative differential \(K\)-theory, Wellfounded trees in categories, Axioms and (counter)examples in synthetic domain theory, Exploring mathematical objects from custom-tailored mathematical universes, Grothendieck toposes as unifying `bridges': a mathematical morphogenesis, A categorical reading of the numerical existence property in constructive foundations, On ordered categories as a framework for fuzzification of algebraic and topological structures, Fundamental progroupoid and bundles with a structural category, Properly injective spaces and function spaces, Repleteness and the associated sheaf, A synthetic Frobenius theorem, Locally semisimple coverings, On the equivariant \(2\)-type of a \(G\)-space, Representing topoi by topological groupoids, Constructing inverse semigroups from category actions, The locally connected coclosure of a Grothendieck topos, A topos for algebraic quantum theory, A tensor-hom adjunction in a topos related to vector topologies and bornologies, On diagrams and flatness of functors, The sequentially realizable functionals, Relative and modified relative realizability, On bornologies, locales and toposes of \(M\)-sets, A characterization of the left exact categories whose exact completions are toposes, Bernays-Gödel type theory, Fixpoint operators for domain equations, Continuous-variable nonlocality and contextuality, The principal bundles over an inverse semigroup, Geometry of the scaling site, On the relation between continuous and combinatorial, Uniqueness logic, Bisimulation maps in presheaf categories, Isotropy of algebraic theories, On sheaves in finite group representations, Fuzzy topology via fuzzy geometric logic with graded consequence, On the nonexistence of elements of Kervaire invariant one, Are there enough injective sets?, Pseudogroups and their torsors, Coalgebraic Representation Theory of Fractals, Boolean sets, skew Boolean algebras and a non-commutative Stone duality, Logic in Category Theory, Categorical gestures, the diamond conjecture, Lewin's question, and the Hammerklavier Sonata, The mathematical descriptions of truth and change, Relations on Hypergraphs, An enriched category theory of language: from syntax to semantics, Yoneda structures from 2-toposes, `Third' quantization of vacuum Einstein gravity and free Yang-Mills theories, Smooth infinitesimals in the metaphysical foundation of spacetime theories, Covariant isotropy of Grothendieck toposes and extensive categories, Modules on involutive quantales: Canonical Hilbert structure, applications to sheaf theory, Concordant and monotone morphisms, Topologies for intermediate logics, Pullback in partial morphism categories, Exact categories, Topos quantum theory on quantization-induced sheaves, On the geometric theory of local MV-algebras, Weak topologies on toposes, Unnamed Item, Toposes for semigroups: an invitation, Mapping spaces and automorphism groups of toric noncommutative spaces, Topos quantum theory reduced by context-selection functors, Involutions of Azumaya algebras, Some aspects of topological Galois theory, Presheaves over a join restriction category, A topological study of contextuality and modality in quantum mechanics, Connectedness in a category, Sheaf representation of monoidal categories, Brain and its universal logical model of multi-agent biological systems, Stone duality for spectral sheaves and the patch monad, Operads within monoidal pseudo algebras, A relation between closure operators on a small category and its category of presheaves, Skeleta in non-Archimedean and tropical geometry, Pseudogroups and their étale groupoids., The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types, Category-theoretic structure and radical ontic structural realism, Mathematical forms and forms of mathematics: leaving the shores of extensional mathematics, Duality for noncommutative frames, A preservation result for completely regular locales., On Choice Rules in Dependent Type Theory, Clopen objects, connected objects, and normalized topological categories, The hyperconnected maps that are local, A type theory for synthetic $\infty$-categories, Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes, Towards higher topology, Temporal refinements for guarded recursive types, Recollements for derived categories of enriched functors and triangulated categories of motives, Free-algebra models for the \(\pi \)-calculus, Remarks on the Stone-Čech and Alexandroff compactifications of locales, A network-conscious \(\pi\)-calculus and its coalgebraic semantics, On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos, The prime divisors of the period and index of a Brauer class, A combinatorial approach to nonlocality and contextuality, Constructive completions of ordered sets, groups and fields, Completeness in generalized ultrametric spaces, Structure sheaves of definable additive categories, Homotopy theory of simplicial sheaves in completely decomposable topologies, Quasi-apartness and neighbourhood spaces, Category-theoretic interpretative framework of the complementarity principle in quantum mechanics, A classification of geometric morphisms and localizations for presheaf categories and algebraic categories, The spectrum of a separable Dynkin algebra and the topology defined on it, Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems, Definable additive categories: purity and model theory, Topos Quantum Logic and Mixed States, Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract), Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories, Neighborhood-Sheaf Semantics for First-Order Modal Logic, A Kuroda-style \(j\)-translation, A novel approach to sheaves on diffeological spaces, Convenient categories of smooth spaces, Guarded cubical type theory, Joyal's arithmetic universes via type theory, The universe remembers no wavefunction collapse, Chern–Weil forms and abstract homotopy theory, Locale morphisms with exact direct image functor in sheaves, Aspects of general topology in constructive set theory, Pretopologies and a uniform presentation of sup-lattices, quantales and frames, Heyting-valued interpretations for constructive set theory, Regular universes and formal spaces, Formal Zariski topology: Positivity and points, A complexity theory of constructible functions and sheaves, Nominal Equational Logic, Theorem proving as constraint solving with coherent logic, Cohomological twisting of 2-linearization and extended TQFT, Multiresolution quantum field theory in light-front coordinates, The Grothendieck construction for model categories, Partial pullback complement rewriting, A categorical framework for congruence of applicative bisimilarity in higher-order languages, Unnamed Item, Unnamed Item, Effect Algebras, Presheaves, Non-locality and Contextuality, Functional sorts in data type specifications, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Doctrines, modalities and comonads, Topos models for physics and topos theory, A model structure on prederivators for $(\infty,1)$-categories, Unnamed Item, Unnamed Item, Weak ideal topology in the topos of right acts over a monoid, Unnamed Item, Unnamed Item, On toposes generated by cardinal finite objects, Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic, LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE, Categories for Dynamic Epistemic Logic, From (Paraconsistent) Topos Logic to Universal (Topos) Logic, Categories of Empirical Models, Quantum collections, THE LARGE STRUCTURES OF GROTHENDIECK FOUNDED ON FINITE-ORDER ARITHMETIC, A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE, Measure theory over boolean toposes, Smooth coalgebra: testing vector analysis, Higher Orbifolds and Deligne-Mumford Stacks as Structured Infinity-Topoi, Unnamed Item, The Greenberg Functor is Site Cocontinuous, Five stages of accepting constructive mathematics, Unnamed Item, Noncommutative frames, Unnamed Item, Spaces of gestures are function spaces, Unnamed Item, What is a noncommutative topos?, The sheaf-theoretic structure of non-locality and contextuality, Bunched polymorphism, Sets and Descent, Asymmetry of Cantorian Mathematics from a Categorial Standpoint: Is It Related to the Direction of Time?, Three Lessons on the Topological and Algebraic Hidden Core of Rough Set Theory, LOGICAL CONTEXTUALITY IN FREGE, CATEGORICAL COMPLEXITY, A comparison of norm maps, On the topological characterization of gestures in a convenient category of spaces, Topologies on quantum topoi induced by quantization, Reflection principles for synthetic theories of smooth manifolds, Semantic Unification, Term Equational Systems and Logics, Semimodule Enrichment, Spans of cospans, THE LOGIC OF PARTITIONS: INTRODUCTION TO THE DUAL OF THE LOGIC OF SUBSETS, On the Cauchy Completeness of the Constructive Cauchy Reals, Classifying spaces for toposes with enough points, TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC, Construction of Closure Operations in a Category of Presheaves, Formal Relationships Between Geometrical and Classical Models for Concurrency, Unnamed Item, TOPOS THEORY AND SPACETIME STRUCTURE, Unnamed Item, Characterizing algebraic stacks, AN ABSTRACT ELEMENTARY CLASS NONAXIOMATIZABLE IN, Unnamed Item, Vertex rings and their Pierce bundles, Homological algebra in characteristic one, Unnamed Item, Degree 2 transformation semigroups as continuous maps on graphs: Foundations and structure, Topos points of quasi-coherent sheaves over monoid schemes, Topos Theory in Montréal in the 1970s: My Personal Involvement, Decomposition-space slices are toposes, Prospects for Triviality, Three extensional models of type theory, Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics, Weakest preconditions in fibrations, SPACES OF TYPES IN POSITIVE MODEL THEORY, Kripke Semantics for Martin-Löf’s Extensional Type Theory, Linear recursive sequences andSpec(ℤ) over𝔽1, Sheaves, Objects, and Distributed Systems, Coinductive predicates and final sequences in a fibration, Unnamed Item, On Supercompactly and Compactly Generated Toposes, The universal abelian regular ring, Functorial semiotics for creativity, Some remarks on hypergestural homology of spaces and its relation to classical homology, The Evil Twin: The Basics of Complement-Toposes, Models of Type Theory Based on Moore Paths, Van Kampen Colimits and Path Uniqueness, Arithmetic, mutually unbiased bases and complementary observables, Unnamed Item, Constructive Modalities with Provability Smack, Sheaf Representations and Duality in Logic, Unnamed Item, Higher order functions and Brouwer’s thesis, Unnamed Item, Causal sites as quantum geometry, Geometric Rules in Infinitary Logic, Partially ordered objects in a topos, Unnamed Item, Separation theorems in the commutative algebra of C∞-rings and applications, The diffeomorphism group of the solid closed torus and Hochschild homology, Every Elementary Higher Topos has a Natural Number Object, A topos for continuous logic, Degree 2 transformation semigroups as continuous maps on graphs: Complexity and examples, Fine Compactified Moduli of Enriched Structures on Stable Curves, A descent principle for compactly supported extensions of functors, On the dependent product in toposes, When programs have to watch paint dry, The Unification of Mathematics via Topos Theory, Foundations for the Working Mathematician, and for Their Computer, From gs-monoidal to oplax cartesian categories: constructions and functorial completeness, Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem, The étale cohomology ring of the ring of integers of a number field, The category of finite strings, Incidence hypergraphs: the categorical inconsistency of set-systems and a characterization of quiver exponentials, On duality and model theory for polyadic spaces, Comparing cubical and globular directed paths, Limits, colimits, and spectra of modelled spaces, Skew category algebras and modules on ringed finite sites, Iterated \(S^3\) Sasaki joins and Bott orbifolds, An intuitionistic set-theoretical model of fully dependent CC, Contextuality in distributed systems, Yoneda lemma for simplicial spaces, Cover systems for the modalities of linear logic, A model of guarded recursion with clock synchronisation, Unnamed Item, A topos perspective on state-vector reduction, Algebraic stacks, On the role of description, A topos perspective on state-vector reduction, Categorical aspects of generating functions. I: Exponential formulas and Krull-Schmidt categories, Invariants of a quadratic form attached to a tame covering of schemes., Real numbers in the topos of sheaves over the category of filters, On the structure of categories of coalgebras, Domains in \(H\), Stacks and D-brane bundles, Sequent calculus and data fusion, Type theories, toposes and constructive set theory: Predicative aspects of AST, String orbifolds and quotient stacks, The algebra of conditional sets and the concepts of conditional topology and compactness, A note on the cohomology of the Langlands group, CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC, Local pre-Hausdorff extended pseudo-quasi-semi metric spaces, The effective model structure and -groupoid objects, Local newforms for the general linear groups over a non-archimedean local field, Stone representation theorem for Boolean algebras in the topos MSet, Lawvere-Tierney topologies for computability theorists
