Deformation Theory

The 4 chapters of the Stacks Project's part Deformation 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.

• 90 Formal Deformation Theory
• 91 Deformation Theory
• 92 The Cotangent Complex
• 93 Deformation Problems

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.