∞-topos

In mathematics, an ∞-topos (infinity-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 an (accessible) 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.

## Contents

* 1 Lurie characterization theorem
* 2 See also
* 3 References
* 4 Further reading

## Lurie characterization theorem

It says:

Theorem -- Let X be an ∞-category. Then the following are equivalent.

(a) X is an ∞-topos.
(b) X satisfies Giraud's axioms in the ∞-category setting: (1) it is a presentable ∞-category, (2) colimits in X are universal, (3) coproducts in X are disjoint and (4) every groupoid object in X is effective.

## See also

* Bousfield localization
* Homotopy hypothesis - Hypothesis that the ∞-groupoids are equivalent to the topological spaces
* ∞-groupoid
* Simplicial set

## References

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

## Further reading

* Spectral Algebraic Geometry \- Charles Rezk (gives a down-enough-to-earth introduction)
* Lurie, Jacob (2009). Higher Topos Theory. Princeton University Press. ISBN 978-0-691-14049-0. https://www.math.ias.edu/~lurie/papers/HTT.pdf.

* v
* t
* e

Category theory

Key concepts

| Key concepts|

* Category
* Adjoint functors
* Commutative diagram
* Concrete category
* Functor
* Morphism
* Natural transformation
* Universal property

|

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
* Quotient category
* Product category
* Subcategory

Higher category theory

| Key concepts|

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

|

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
* (Symmetric) monoidal category
* n-group
* n-monoid

* Category
* Mathematics portal
* Outline
* Glossary
* Wikibook
* Wikiversity

Template:Foundations-footer

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/∞-topos. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=∞-topos&oldid=3989217"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template