Towards a Grand Unified Theory of Mathematics and Physics (2015) [pdf]
math.columbia.edu