Derived algebraic geometry

branch of mathematics generalizing algebraic geometry so that commutative rings providing local charts are replaced by simplicial commutative rings or E∞-ring spectra, whose higher homotopy groups account for non-discreteness of the structure sheaf

Pronunciation

Categories