Data di Pubblicazione:
2022
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.
Tipologia CRIS:
Articolo in Volume
Keywords:
Keywords Unifying theory ,Grothendieck topos, Classifying topos, Geometric theory, Morita equivalence, Topos-theoretic invariant, Bridge, Subtopos
Elenco autori:
Caramello, Olivia
Link alla scheda completa:
Titolo del libro:
Logic in Question : talks from the Annual Sorbonne Logic Workshop (2011- 2019)
Pubblicato in: