∞-topos

Higher categorical generalization of a topos

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "∞-topos" – news · newspapers · books · scholar · JSTOR (June 2017) (Learn how and when to remove this message)

|

This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (May 2017) (Learn how and when to remove this message)

|

(Learn how and when to remove this message)

In mathematics, an ∞-topos is, roughly, an ∞-category such that its objects behave like sheaves of spaces with some choice of Grothendieck topology; in other words, it gives an intrinsic notion of sheaves without reference to an external space. The prototypical example of an ∞-topos is the ∞-category of sheaves of spaces on some topological space. But the notion is more flexible; for example, the ∞-category of étale sheaves on some scheme is not the ∞-category of sheaves on any topological space but it is still an ∞-topos.

Precisely, in Lurie's Higher Topos Theory, an ∞-topos is defined[1] as an ∞-category X such that there is a small ∞-category C and a left exact localization functor from the ∞-category of presheaves of spaces on C to X. A theorem of Lurie[2] states that an ∞-category is an ∞-topos if and only if it satisfies an ∞-categorical version of Giraud's axioms in ordinary topos theory. A "topos" is a category behaving like the category of sheaves of sets on a topological space. In analogy, Lurie's definition and characterization theorem of an ∞-topos says that an ∞-topos is an ∞-category behaving like the category of sheaves of spaces.

## See also

[edit]

* Mathematics portal

* Bousfield localization
* Homotopy hypothesis – Hypothesis that the ∞-groupoids are equivalent to the topological spaces
* ∞-groupoid – Abstract homotopical model for topological spaces
* Simplicial set
* Kan complex – Concept in the theory of simplicial sets.

## References

[edit]

1. ^ Lurie 2009, Definition 6.1.0.4.
2. ^ Lurie 2009, Theorem 6.1.0.6.

## Further reading

[edit]

* Spectral Algebraic Geometry \- Charles Rezk (gives a down-enough-to-earth introduction)
* Lurie, Jacob (2009). Higher Topos Theory (PDF). Princeton University Press. arXiv:math/0608040. ISBN 978-0-691-14049-0.

* v
* t
* e

Category theory

Key concepts

| Key concepts|

* Category
* Abelian
* Additive
* Concrete
* Pre-abelian
* Preadditive
* Bicategory
* Adjoint functors
* CCC
* Commutative diagram
* End
* Exponential
* Functor
* Kan extension
* Morphism
* Natural transformation
* Universal property
* Yoneda lemma

|

Universal constructions|

| Limits|

* Terminal objects
* Products
* Equalizers
* Kernels
* Pullbacks
* Inverse limit

|

Colimits|

* Initial objects
* Coproducts
* Coequalizers
* Cokernels and quotients
* Pushout
* Direct limit

Algebraic categories|

* Sets
* Relations
* Magmas
* Groups
* Abelian groups
* Rings (Fields)
* Modules (Vector spaces)

Constructions on categories|

* Free category
* Functor category
* Kleisli category
* Opposite category
* Quotient category
* Product category
* Comma category
* Subcategory

Higher category theory

| Key concepts|

* Categorification
* Enriched category
* Higher-dimensional algebra
* Homotopy hypothesis
* Model category
* Simplex category
* String diagram
* Topos

|

n-categories|

| Weak n-categories|

* Bicategory (pseudofunctor)
* Tricategory
* Tetracategory
* Kan complex
* ∞-groupoid
* ∞-topos

|

Strict n-categories|

* 2-category (2-functor)
* 3-category

Categorified concepts|

* 2-group
* 2-ring
* En-ring
* (Traced)(Symmetric) monoidal category
* n-group
* n-monoid

* Category
* Outline
* Glossary

* v
* t
* e

Major topics in Foundations of Mathematics

Mathematical logic|

* Peano axioms
* Mathematical induction
* Formal system
* Axiomatic system
* Hilbert system
* Natural deduction
* Mathematical proof
* Model theory
* Mathematical constructivism
* Modal logic
* List of mathematical logic topics

Set theory|

* Set
* Naive set theory
* Axiomatic set theory
* Zermelo set theory
* Zermelo–Fraenkel set theory
* Constructive set theory
* Descriptive set theory
* Determinacy
* Russell's paradox
* List of set theory topics

Type theory|

* Axiom of reducibility
* Simple type theory
* Dependent type theory
* Intuitionistic type theory
* Homotopy type theory
* Univalent foundations
* Girard's paradox

Category theory|

* Category
* Topos theory
* Category of sets
* Higher category theory
* ∞-groupoid
* ∞-topos theory
* Mathematical structuralism
* Glossary of category theory
* List of category theory topics

*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template