| dbo:abstract
|
- 数学において、 ∞-トポス（英語: ∞-topos）は大まかに言って∞-圏であり、その対象はグロタンディーク位相を選択して空間の層のように動作する。言い換えれば、それは外部空間を参照せずに層の本質的な概念を与える。 ∞トポスの典型的な例は、いくつかの位相空間上の空間の層の∞圏である。しかし、この概念はより柔軟である。たとえば、あるスキームのエタール層の∞圏は、位相空間の層の∞圏ではありませんが、それでも∞トポスである。 正確には、ルリーの高次トポス理論では、∞-トポスは∞-圏Xとして定義され 、小さな∞-圏Cと、 C上の空間の前層の∞-圏からの左完全関手がXに存在する。 Lurie定理は、通常のトポス理論におけるジラードの公理の∞圏バージョンを満たす場合にのみ、∞圏が∞トポスであると述べている。 「トポス」は、位相空間上の集合の束の圏のように動作する圏である。類推して、∞-トポスのルリーの定義と特性化の定理は、∞-トポスは空間の束の圏のように振る舞う∞-カテゴリーであるとする。 (ja)
- 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 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 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. (en)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2351 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdfs:comment
|
- 数学において、 ∞-トポス（英語: ∞-topos）は大まかに言って∞-圏であり、その対象はグロタンディーク位相を選択して空間の層のように動作する。言い換えれば、それは外部空間を参照せずに層の本質的な概念を与える。 ∞トポスの典型的な例は、いくつかの位相空間上の空間の層の∞圏である。しかし、この概念はより柔軟である。たとえば、あるスキームのエタール層の∞圏は、位相空間の層の∞圏ではありませんが、それでも∞トポスである。 正確には、ルリーの高次トポス理論では、∞-トポスは∞-圏Xとして定義され 、小さな∞-圏Cと、 C上の空間の前層の∞-圏からの左完全関手がXに存在する。 Lurie定理は、通常のトポス理論におけるジラードの公理の∞圏バージョンを満たす場合にのみ、∞圏が∞トポスであると述べている。 「トポス」は、位相空間上の集合の束の圏のように動作する圏である。類推して、∞-トポスのルリーの定義と特性化の定理は、∞-トポスは空間の束の圏のように振る舞う∞-カテゴリーであるとする。 (ja)
- 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. (en)
|
| rdfs:label
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
