Statistics for tag 00WJ
| tag creation | last update | |
|---|---|---|
| Jun 6, 2008 | Jul 23, 2016 | more history |
Complexity measure
| metric | value |
|---|---|
| number of results in proof | 5 |
| number of results used in preliminary results | 7 |
| number of chapters used | 2 |
| number of sections used | 4 |
| number of results (indirectly) using this tag | 1855 |
Tags (directly) using this result
- Lemma 7.14.6
in Section 7.14: Morphisms of sites
(go to statistics) - Lemma 7.20.3
in Section 7.20: Cocontinuous functors
(go to statistics) - Lemma 7.21.6
in Section 7.21: Cocontinuous functors and morphisms of topoi
(go to statistics) - Lemma 7.23.1
in Section 7.23: Cocontinuous functors which have a left adjoint
(go to statistics) - Lemma 7.29.4
in Section 7.29: Morphisms of topoi
(go to statistics) - Lemma 7.32.7
in Section 7.32: Points
(go to statistics) - Lemma 7.35.2
in Section 7.35: Localization and points
(go to statistics) - Lemma 18.36.1
in Section 18.36: Stalks of modules
(go to statistics)