∞-топос - ∞-topos - Wikipedia

В математика, ∞-топос это, грубо говоря, ∞-категория так что его объекты ведут себя как снопы пространств с некоторым выбором Топология Гротендика; другими словами, он дает внутреннее понятие пучков без привязки к внешнему пространству. Прототипным примером ∞-топоса является ∞-категория пучков пространств на некотором топологическом пространстве. Но это понятие более гибкое; например, ∞-категория этальных пучков на некоторых схема не является ∞-категорией пучков на любом топологическом пространстве, но все же является ∞-топосом.

Именно в Лурье Теория высших топосов, ∞-топос определяется[1] как ∞-категория Икс такая, что существует малая ∞-категория C и точный слева функтор локализации из ∞-категории предварительные пучки пространств на C к Икс. Теорема Лурье[2] утверждает, что ∞-категория является ∞-топосом тогда и только тогда, когда она удовлетворяет ∞-категоричной версии аксиом Жиро в теории обычных топосов. А "топос "является категорией, ведущей себя как категория пучков множеств на топологическом пространстве. Аналогично, определение Лурье и характеризационная теорема ∞-топоса говорят, что ∞-топос является ∞-категорией, ведущей себя как категория пучков пространств.

Смотрите также

Рекомендации

  1. ^ Лурье 2009, Определение 6.1.0.4.
  2. ^ Лурье 2009, Теорема 6.1.0.6.

дальнейшее чтение

  • Спектральная алгебраическая геометрия - Чарльз Резк (дает довольно приземленное введение)
  • Лурье, Джейкоб (2009). Теория высших топосов (PDF). Издательство Принстонского университета. arXiv:математика / 0608040. ISBN  978-0-691-14049-0.