The Stacks project

These are the recent changes to the tags on the website. The website is regularly updated, but it is possible that the repository is slightly ahead.

Jun 30, 2022

17d302f

Tags: Added new tags

• Lemma 13.40.3
• Lemma 13.40.6
• Proposition 13.40.10
• Lemma 15.103.1
• Lemma 21.43.4
• Lemma 21.43.5
• Lemma 21.43.13
• Lemma 59.101.3
• Remark 84.8.4
• Lemma 84.8.5
• Lemma 95.26.6
• Lemma 103.4.1
• Lemma 103.4.2
• Lemma 103.5.4
• Remark 103.5.5
• Lemma 103.8.1
• Lemma 103.8.2
• Lemma 103.8.3
• Proposition 103.8.4

Jun 30, 2022

9e66dd3

Finish the proof

• Lemma 103.8.3
• Proposition 103.8.4

Jun 28, 2022

b81bb36

Another lemma proved

• Lemma 103.8.1

Jun 28, 2022

6bbd1f2

Knock off one of the lemmas

• Lemma 103.8.1
• Lemma 103.8.2

Jun 28, 2022

46dfc5d

Cohomology unbounded on simplicial topoi

• Lemma 15.103.2

Jun 27, 2022

87118c9

Sketch of proof of QC = D_QCoh for algebraic stack

• Lemma 21.43.12
• Remark 102.10.7
• Lemma 103.5.3
• Lemma 103.5.4

Jun 27, 2022

9215143

A bit more about admissible subcategories

• Lemma 13.40.7
• Lemma 13.40.8

Jun 24, 2022

8edad50

Helper lemma in stacks-sheaves

Jun 24, 2022

69d216a

Yet another version of quasi-coherent vanishing

Jun 24, 2022

b3bc957

Typo in spaces-more-cohomology

• Lemma 83.7.4