We present a set of principles and methodologies which may serve as foundations of a unifying theory of Mathematics. These principles are based on a new view of Grothendieck toposes as unifying spaces being able to act as “bridges” for transferring information, ideas, and results between distinct mathematical theories.

The unification of mathematics via topos theory

Olivia Caramello
2022-01-01

Abstract

We present a set of principles and methodologies which may serve as foundations of a unifying theory of Mathematics. These principles are based on a new view of Grothendieck toposes as unifying spaces being able to act as “bridges” for transferring information, ideas, and results between distinct mathematical theories.
2022
J.-Y. Béziau, J.-P. Desclés, A. Moktefi, A. C. Pascu
Logic in Question : talks from the Annual Sorbonne Logic Workshop (2011- 2019)
563
601
39
ELETTRONICO
Birkhäuser Cham
Switzerland
Basel
978-3-030-94451-3
978-3-030-94454-4
Inglese
Keywords Unifying theory ,Grothendieck topos, Classifying topos, Geometric theory, Morita equivalence, Topos-theoretic invariant, Bridge, Subtopos
no
268
info:eu-repo/semantics/bookPart
Caramello, Olivia
reserved
Contributo specifico in volume::Articolo in Volume
1
File in questo prodotto:
File Dimensione Formato  
CaramelloUnificationMathematicsViaToposTheory.pdf

non disponibili

Tipologia: Versione Editoriale (PDF)
Licenza: Copyright dell'editore
Dimensione 257.49 kB
Formato Adobe PDF
257.49 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/2146191
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact