nLab super homotopy type theory

Idea

A super homotopy type theory is a modal homotopy type theory which extends differential cohesive homotopy type theory with the rheonomy, bosonic, and fermionic modal operators ($\mathrm{Rh}$, $\rightsquigarrow$, $\rightrightarrows$ respectively).

(Also called solid homotopy theory $[$SS20, §3.1.3$]$, see at geometry of physics – categories and toposes the sections on solid toposes and solid $\infty$-toposes.)

---

$\,$

---

See also

• Science of Logic

• modal homotopy type theory

• differential cohesive homotopy type theory

• supergeometry

• super homotopy theory

• super formal smooth infinity-groupoid

• smooth super infinity-groupoid

References

• Equivariant Super Homotopy Theory

  talk at Geometry in Modal Homotopy Type Theory, CMU Pittsburgh, 2019