加载中…
We show that the Segal topos of derived stacks over simplicial commutative -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.

生成讲解博客的中文版本

生成AI智能校验的中文版本