Theories, Sites, Toposes

DOI10.1093/OSO/9780198758914.001.0001zbMath1461.03002OpenAlexW2794335402MaRDI QIDQ2825457

Olivia Caramello

Publication date: 13 October 2016

Published in: Oxford Scholarship Online (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/oso/9780198758914.001.0001

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Research exposition (monographs, survey articles) pertaining to category theory (18-02)

Related Items (19)

Gabriel-Ulmer duality for topoi and its relation with site presentations ⋮ Isotropy of algebraic theories ⋮ On the geometric theory of local MV-algebras ⋮ LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE ⋮ The Unification of Mathematics via Topos Theory ⋮ Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ Some aspects of topological Galois theory ⋮ General affine adjunctions, Nullstellensätze, and dualities ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Some invariant skeletons for \(\ell\)-u groups and MV-algebras ⋮ Quantum GestART: identifying and applying correlations between mathematics, art, and perceptual organization ⋮ Syntactic categories for Nori motives ⋮ Monoid properties as invariants of toposes of monoid actions ⋮ Block generalized locally Toeplitz sequences: theory and applications in the unidimensional case ⋮ Block generalized locally Toeplitz sequences: theory and applications in the multidimensional case ⋮ Categories, Musical Instruments, and Drawings: A Unification Dream ⋮ On Supercompactly and Compactly Generated Toposes ⋮ Exploring mathematical objects from custom-tailored mathematical universes ⋮ Grothendieck toposes as unifying `bridges': a mathematical morphogenesis

This page was built for publication: Theories, Sites, Toposes