Constructive Identities for Physics
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 approach
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 Mechanics
and General Relativity.