(no subject)

[leblon]

"For this we specify the situation to the case where T is the ∞-topos of derived stacks over the site of
derived affine schemes (over a field of caracteristic zero) with the etale topology."

О боги, яду мне, яду!

Comments

[38irtimd.livejournal.com]

derived (affine) schemes это всего лишь симплициальные схемы с точностью до слабой эквивалентности (на симплициальных схемах есть модельная структура). а вот derived stacks это да, на уровень (абстракции) повыше. обычный топос это всего лишь категория пучков на чём-то (ну то есть его можно и так определить, кажется эта версия определения называется Grothendieck topos), здесь я так пониммаю пучки какие-то особенные (симплициальные?), поэтому \infty, видимо структуры больше, 2-морфизмы всякие.

вот обзорная статья, вроде понятная: http;//www.ams.org/notices/201107/rtx110700955p.pdf‎

вообще, через терминологию продраться не так сложно, как понять, какие у этой науки есть содержательные применения. я, по отношению к таковой будучи праздно интересующимся, пока так и не нашёл (стандартные аргументы типа "теория пересечений становится стройней" как-то не воодушевляют).