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
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 (en)