higher geometry / derived geometry
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
derived smooth geometry
symmetric monoidal (∞,1)-category of spectra
This entry provides hyperlinks for central keywords of the text
which develops the generalization of the notion of a ringed topos from topos theory to (∞,1)-topos theory and formulates basic notions of geometry in this context.
A 1-categorical precursor would be
A survey is at A Survey of Elliptic Cohomology - the derived moduli stack of derived elliptic curves in the section notions of space.