The Physical Mathematics of Segal Topoi and Strings

Abstract

We introduce a notion of dynamics in the setting of Segal topos, by considering the Segal category of stacks $\mathcal{X} = \text{dAff}_{\mathcal{C}}^{\, \sim, \tau}$ on a Segal category $\text{dAff}_{\mathcal{C}}=$ L(Comm($\mathcal{C})^{op})$ as our system, and by regarding objects of $\mathbb{R}\underline{\text{Hom}}(\mathcal{X}, \mathcal{X})$ as its states. We develop the notion of quantum state in this setting and construct local and global flows of such states. In this formalism, strings are given by equivalences between elements of commutative monoids of $\mathcal{C}$, a base symmetric monoidal model category. The connection with standard string theory is made, and with M-theory in particular.