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
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