The Rational Higher Structure of M-theory

We review how core structures of string/M-theory emerge as higher structures in super homotopy theory; namely from systematic analysis of the brane bouquet of universal invariant higher central extensions growing out of the superpoint. Since super homotopy theory is immensely rich, to start with we consider this in the rational/infinitesimal approximation which ignores torsion-subgroups in brane charges and focuses on tangent spaces of super space-time. Already at this level, super homotopy theory discovers all super $p$-brane species, their intersection laws, their M/IIA-, T- and S-duality relations, their black brane avatars at ADE-singularities, including their instanton contributions, and, last not least, Dirac charge quantization: for the D-branes it recovers twisted K-theory, rationally, but for the M-branes it gives cohomotopy cohomology theory. We close with an outlook on the lift of these results beyond the rational/infinitesimal approximation to a candidate formalization of microscopic M-theory in super homotopy theory.