A Candidate Geometrical Formalism for the Foundations of Mathematics and Physics
wolframphysics.org