Constructive Identities for Physics

Abstract

Homotopy Type theory instantiates a new form of axiomatic approach, which is more friendly to physics than the standard axiomatic approach stemming from Hilbert. This new axiomatic ap- proach combines logical and geometrical methods in a new way and brings about a non-trivial constructive concept of identity applicable in various physical contexts including Quantum Me- chanics and General Relativity.