PROFILPELAJAR.COM

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 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.

References

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

PROFILPELAJAR.COM

∞-topos

See also

References

Further reading

Read other articles:

Trets

Walik lunggung

Besozzo

Snapchat

Bendera Afrika Selatan

André Laignel

Philadelphia Giants

Forces armées suédoises

Feminist post-structuralist discourse analysis

Mzilikazi

Gaius Terentius Varro

土库曼斯坦总统

世界政區索引

روميو وجولييت

Loudness

Pocono Raceway

Aldo Moro

U dengan makron (Kiril)

Xanthophryne

Джеймстаун (остров Святой Елены)