Proof — Higher topos theory and derived algebraic geometry
Statement
Lurie’s Higher Topos Theory and spectral algebraic geometry extend Grothendieck’s framework to homotopy-coherent settings.
Formula
∞-topos; Spec R
Equation
derived tensor
Source
Canonical lineament aligned with TANAAKK IAS Faculty Emeriti index (2026); consult specialist monographs for full proofs.
Domains
mathematics
People
Related
- Theorem: Higher topos theory and derived algebraic geometry
- Proof: Higher topos theory and derived algebraic geometry