Skip to content

Topics in Scheme Theory

The 23 chapters of the Stacks Project's part Topics in Scheme Theory 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.

42 Chow Homology to 61 Pro-étale Cohomology

62 Relative Cycles to 64 The Trace Formula

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.