physics, mathematical physics, philosophy of physics theory (physics), model (physics) experiment, measurement, computable physics Axiomatizations Tools Structural phenomena Types of quantum field thories examples superalgebra and (synthetic ) supergeometry supergravity in dimension 4. The maximally supersymmetric -version arises from type II supergravity in 10 dimension by compactification on a 6-torus. The -version arises from KK-reduction via M-theory on G2-manifolds. This hosts the super...