  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.
