80 Bootstrap

• Section 80.1: Introduction
• Section 80.2: Conventions
• Section 80.3: Morphisms representable by algebraic spaces
  • Definition 80.3.1
  • Lemma 80.3.2
  • Lemma 80.3.3 slogan
  • Lemma 80.3.4
  • Lemma 80.3.5
  • Lemma 80.3.6
  • Lemma 80.3.7
  • Lemma 80.3.8
  • Lemma 80.3.9
  • Lemma 80.3.10
  • Lemma 80.3.11
• Section 80.4: Properties of maps of presheaves representable by algebraic spaces
  • Definition 80.4.1
  • Lemma 80.4.2
  • Lemma 80.4.3
  • Lemma 80.4.4
  • Lemma 80.4.5
  • Lemma 80.4.6
• Section 80.5: Bootstrapping the diagonal
  • Lemma 80.5.1 slogan
  • Lemma 80.5.2
  • Lemma 80.5.3
  • Lemma 80.5.4
• Section 80.6: Bootstrap
  • Theorem 80.6.1
• Section 80.7: Finding opens
  • Lemma 80.7.1
• Section 80.8: Slicing equivalence relations
  • Lemma 80.8.1
• Section 80.9: Quotient by a subgroupoid
  • Lemma 80.9.1
• Section 80.10: Final bootstrap
  • Theorem 80.10.1
• Section 80.11: Applications
  • Lemma 80.11.1 slogan
  • Lemma 80.11.2
  • Lemma 80.11.3 slogan
  • Lemma 80.11.4
  • Lemma 80.11.5
  • Lemma 80.11.6
  • Lemma 80.11.7
  • Lemma 80.11.8
• Section 80.12: Algebraic spaces in the étale topology
  • Lemma 80.12.1
  • Lemma 80.12.2
  • Lemma 80.12.3
  • Lemma 80.12.4