$\infty$-topoi and Natural Phenomena: Generation

Abstract

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 regard as being a source from which dynamics is generated. This is done by considering the $\infty$-category associated to such a Segal topos, which turns out to be an $\infty$-topos. At this point we have the formalism of Higher topoi at our disposal to deal with Higher Category Theory concepts in a transparent manner.

16 pages

References in corpus (6)

• Descente pour les n-champs (Descent for n-stacks)
• Segal topoi and stacks over Segal categories
• Algebraic Geometry over model categories (a general approach to derived algebraic geometry)
• Weak enriched categories - Categories enrichies faibles
• Higher Galois for Segal Topos and Natural Phenomena
• On Infinity Topoi

Cited by in corpus (1)

• Segal Topoi and Natural Phenomena: Universality of Physical Laws