To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

From Wikipedia, the free encyclopedia

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.

YouTube Encyclopedic

  • 1/5
    Views:
    870
    2 055
    953
    18 780
    10 230
  • Emily Riehl: On the ∞-topos semantics of homotopy type theory: All ∞-toposes have... - Lecture 3
  • Emily Riehl: On the ∞-topos semantics of homotopy type theory: categorial semantics... - Lecture 1
  • Emily Riehl: On the ∞-topos semantics of homotopy type theory: The simplicial model of...- Lecture 2
  • Taste of topology: Open Sets
  • Show that (0, 1] is not compact - Topology - Compact sets

Transcription

See also

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 (PDF). Princeton University Press. arXiv:math/0608040. ISBN 978-0-691-14049-0.


This page was last edited on 15 April 2024, at 12:32
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.