The unification of Mathematics via Topos Theory
arXiv:1006.3930
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.
42 pages