Statistics for tag 0040
tag creation | last update | |
---|---|---|
May 20, 2008 | Mar 4, 2014 | more history |
Complexity measure
metric | value |
---|---|
number of results in proof | 1 |
number of results used in preliminary results | 1 |
number of chapters used | 1 |
number of sections used | 1 |
number of results (indirectly) using this tag | 358 |
Tags (directly) using this result
- Lemma 4.33.10
in Section 4.33: Fibred categories
(go to statistics) - Lemma 4.35.7
in Section 4.35: Categories fibred in groupoids
(go to statistics) - Lemma 4.35.16
in Section 4.35: Categories fibred in groupoids
(go to statistics) - Lemma 8.4.6
in Section 8.4: Stacks
(go to statistics) - Lemma 8.6.7
in Section 8.6: Stacks in setoids
(go to statistics) - Lemma 8.6.9
in Section 8.6: Stacks in setoids
(go to statistics) - Lemma 8.6.10
in Section 8.6: Stacks in setoids
(go to statistics) - Lemma 8.11.5
in Section 8.11: Gerbes
(go to statistics) - Lemma 8.11.7
in Section 8.11: Gerbes
(go to statistics) - Lemma 78.22.2
in Section 78.22: The 2-cartesian square of a quotient stack
(go to statistics) - Lemma 94.14.2
in Section 94.14: 2-Fibre products of algebraic stacks
(go to statistics) - Lemma 94.16.1
in Section 94.16: From an algebraic stack to a presentation
(go to statistics) - Lemma 96.17.4
in Section 96.17: Injective sheaves
(go to statistics) - Lemma 96.18.2
in Section 96.18: The Čech complex
(go to statistics) - Lemma 98.21.6
in Section 98.21: Infinitesimal deformations
(go to statistics) - Lemma 101.5.5
in Section 101.5: Inertia stacks
(go to statistics) - Lemma 101.39.4
in Section 101.39: Valuative criteria
(go to statistics)