Publication Date:
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.
Iris type:
Articolo in Volume
Keywords:
Keywords Unifying theory ,Grothendieck topos, Classifying topos, Geometric theory, Morita equivalence, Topos-theoretic invariant, Bridge, Subtopos
List of contributors:
Caramello, Olivia
Book title:
Logic in Question : talks from the Annual Sorbonne Logic Workshop (2011- 2019)
Published in: