Statistics for tag 00XO
| tag creation | last update | |
|---|---|---|
| Nov 18, 2008 | Aug 11, 2011 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 1 |
| number of results used in preliminary results | 9 |
| number of chapters used | 2 |
| number of sections used | 5 |
| number of results (indirectly) using this tag | 1158 |
Tags (directly) using this result
- Lemma 7.22.1
in Section 7.22: Cocontinuous functors which have a right adjoint
(go to statistics) - Lemma 7.35.1
in Section 7.35: Localization and points
(go to statistics) - Lemma 8.10.3
in Section 8.10: Inherited topologies
(go to statistics) - Lemma 61.25.2
in Section 61.25: Closed immersions and pro-étale sites
(go to statistics) - Lemma 85.2.5
in Section 85.2: Simplicial topological spaces
(go to statistics) - Lemma 85.2.12
in Section 85.2: Simplicial topological spaces
(go to statistics) - Lemma 85.3.5
in Section 85.3: Simplicial sites and topoi
(go to statistics)