Homotopy type theory: unified foundations of mathematics and computation
Homotopical patch theory