Schreiber Equivariant Super Homotopy Theory

a talk that I gave:

$\,$

$\;\phantom{\sim}$homotopy-type theory
$\;\sim$homotopy type-theory
makes it an elegant and powerful formal language
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:

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 (“Hypothesis H”, joint with Hisham Sati and Domenico Fiorenza).

$\,$

Related articles

This material eventually appeared as:

Related talks

Last revised on April 6, 2021 at 05:14:31. See the history of this page for a list of all contributions to it.