$\infty$-topoi and Natural Phenomena: Generation

Renaud Gauthier

We show that the Segal topos of derived stacks over simplicial commutative $k$-algebras, which can be used to model natural phenomena, has a subobject classifier, something we rega…