Schreiber
Equivariant Super Homotopy Theory

a talk that I gave:





\,

Abstract. Adding systems of adjoint modal operators to
\;\phantom{\sim}homotopy-type theory
\;\simhomotopy type-theory
makes it an elegant and powerful formal language
for reasoning about higher geometry,
specifically (and incrementally) for:

higher geometrymodal homotopy theory
differential topology,
differential cohomology
cohesive
higher differential geometry,
higher Cartan geometry
elastic
higher supergeometrysolid
orbifold cohomologyequivariant

The first two of these stages are discussed in other talks at this meeting (see in particular thesis Wellen)

In this talk I will:

  1. describe higher supergeometry as intended categorical semantics for the full system of modalitites;

  2. mention interesting theorems that should lend themselves to formalization in type theory;

  3. indicate motivation from and application to the unofficial Millennium Problem of formulating M-theory (joint with Hisham Sati and Vincent Braunack-Mayer).


Related talks



Last revised on May 28, 2019 at 05:12:24. See the history of this page for a list of all contributions to it.