Sheaves in geometry and logic: a first introduction to topos theory
From MaRDI portal
Publication:1189567
zbMath0822.18001MaRDI QIDQ1189567
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 (only showing first 100 items - show all)
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 ⋮ Unnamed Item ⋮ 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 ⋮ Characterizing algebraic stacks ⋮ Explicit presentations of topological categories of gestures ⋮ 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 ⋮ 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
This page was built for publication: Sheaves in geometry and logic: a first introduction to topos theory
