Preliminaries
The 23 chapters of the Stacks Project's part Preliminaries with a tag that a declaration carries, a page each, numbered as the Stacks Project numbers them.
The docstrings and Lean statements are quoted from AxiomMath/Stacks at commit 5ed82d14, under its Apache-2.0 license.
3 Set Theory to 22 Differential Graded Algebra
- 3 Set Theory
- 4 Categories
- 5 Topology
- 6 Sheaves on Spaces
- 7 Sites and Sheaves
- 8 Stacks
- 9 Fields
- 10 Commutative Algebra
- 11 Brauer Groups
- 12 Homological Algebra
- 13 Derived Categories
- 14 Simplicial Methods
- 15 More on Algebra
- 16 Smoothing Ring Maps
- 17 Sheaves of Modules
- 18 Modules on Sites
- 19 Injectives
- 20 Cohomology of Sheaves
- 21 Cohomology on Sites
- 22 Differential Graded Algebra
23 Divided Power Algebra to 25 Hypercoverings
Loading dependency explorer…
The dependency explorer needs JavaScript and its graph data.