8 Stacks

Section 8.1: Introduction
Section 8.2: Presheaves of morphisms associated to fibred categories
- Lemma 8.2.1
- Definition 8.2.2
- Lemma 8.2.3
- Remark 8.2.4
- Lemma 8.2.5
Section 8.3: Descent data in fibred categories
- Definition 8.3.1
- Remarks 8.3.2
- Lemma 8.3.3
- Definition 8.3.4
- Definition 8.3.5
- Lemma 8.3.6
- Lemma 8.3.7
Section 8.4: Stacks
- Definition 8.4.1
- Lemma 8.4.2
- Lemma 8.4.3
- Lemma 8.4.4
- Definition 8.4.5
- Lemma 8.4.6
- Lemma 8.4.7
- Lemma 8.4.8
- Remark 8.4.9
Section 8.5: Stacks in groupoids
- Definition 8.5.1
- Lemma 8.5.2
- Lemma 8.5.3
- Lemma 8.5.4
- Definition 8.5.5
- Lemma 8.5.6
Section 8.6: Stacks in setoids
- Definition 8.6.1
- Lemma 8.6.2
- Lemma 8.6.3
- Lemma 8.6.4
- Definition 8.6.5
- Lemma 8.6.6
- Lemma 8.6.7
- Lemma 8.6.8
- Lemma 8.6.9
- Lemma 8.6.10
- Lemma 8.6.11
Section 8.7: The inertia stack
- Lemma 8.7.1
- Lemma 8.7.2
Section 8.8: Stackification of fibred categories
- Lemma 8.8.1
- Lemma 8.8.2
- Lemma 8.8.3
- Lemma 8.8.4
- Lemma 8.8.5
Section 8.9: Stackification of categories fibred in groupoids
- Lemma 8.9.1
- Lemma 8.9.2
- Lemma 8.9.3
Section 8.10: Inherited topologies
- Lemma 8.10.1
- Definition 8.10.2
- Lemma 8.10.3
- Lemma 8.10.4
- Lemma 8.10.5
- Lemma 8.10.6
Section 8.11: Gerbes
- Definition 8.11.1
- Lemma 8.11.2
- Lemma 8.11.3
- Definition 8.11.4
- Lemma 8.11.5
- Lemma 8.11.6
- Lemma 8.11.7
- Lemma 8.11.8
Section 8.12: Functoriality for stacks
- Lemma 8.12.1
- Lemma 8.12.2
- Lemma 8.12.3
- Definition 8.12.4
- Lemma 8.12.5
- Lemma 8.12.6
- Lemma 8.12.7
- Lemma 8.12.8
- Definition 8.12.9
- Lemma 8.12.10
- Lemma 8.12.11
- Lemma 8.12.12
Section 8.13: Stacks and localization
- Lemma 8.13.1
- Lemma 8.13.2