Grothendieck toposes as unifying `bridges': a mathematical morphogenesis

DOI10.1007/978-3-030-84706-7_9MaRDI QIDQ2080586zbMATH OpenOpenAlexFDO

Authors Olivia Caramello

Publication date 9 October 2022

Full work available at URL https://doi.org/10.1007/978-3-030-84706-7_9

zbMATH Keywords

`bridge'dualityequivalenceinvariantsheafsitesymmetrytopostranslationunification

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Mathematical logic and foundations (03-XX)

Recommendations

• The Unification of Mathematics via Topos Theory
• Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges'
• scientific article; zbMATH DE number 7720030
• scientific article; zbMATH DE number 2117177
• scientific article; zbMATH DE number 219979

Cites work

• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Fraïssé's construction from a topos-theoretic perspective
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Sheaves in geometry and logic: a first introduction to topos theory
• Theories, sites, toposes. Relating and studying mathematical theories through topos-theoretic `bridges'
• Tool and object. A history and philosophy of category theory
• Topological Galois theory

Cited in

(2)

• Exploring mathematical objects from custom-tailored mathematical universes
• The Unification of Mathematics via Topos Theory

This page was built for publication: Grothendieck toposes as unifying `bridges': a mathematical morphogenesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2080586)