2018/02/07 by Renaud Gauthier, Gauthier, Renaud · 1 citation
Mathematics · Physics and Astronomy · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #math-ph #math.AG #math.CT #math.MP
paper · pdf · doi:10.48550/arxiv.1802.02284
16 pages
arxiv created 2018/02/07 · arxiv updated 2018/02/08
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 ∞-category associated to such a Segal topos, which turns out to be an ∞-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.