a talk that I gave:
Equivariant Super Homotopy Theory
talk at
Geometry in Modal Homotopy Type Theory
CMU Pittsburgh, 11-15 March 2019
$\,$
Abstract. Adding systems of adjoint modal operators to
$\;\phantom{\sim}$homotopy-type theory
$\;\sim$homotopy type-theory
makes it an elegant and powerful formal language
for reasoning about higher geometry,
specifically (and incrementally) for:
The first two of these stages are discussed in other talks at this meeting (see in particular thesis Wellen)
In this talk I will:
describe higher supergeometry as intended categorical semantics for the full system of modalitites;
mention interesting theorems that should lend themselves to formalization in type theory;
indicate motivation from and application to the unofficial Millennium Problem of formulating M-theory (“Hypothesis H”, joint with Hisham Sati and Domenico Fiorenza).
$\,$
Related articles
This material eventually appeared as:
Related talks
Super p-Brane Theory emerging from Super Homotopy Theory
talk at StringMath2017, Hamburg 2017
Equivariant Cohomotopy and Branes
talk at String and M-Theory: The New Geometry of the 21st Century, Singapore 2018
The rational higher structure of M-theory
talk at Higher Structures in M-Theory, Durham 2018
Last revised on April 6, 2021 at 09:14:31. See the history of this page for a list of all contributions to it.