nLab
Structured Spaces

Context

Higher geometry

/

Ingredients

Concepts

  • geometric es

  • geometric es

Constructions

  • ,

  • /

Examples

    • , of s

  • derived smooth geometry

    • ,

    • ,

    • ,

Theorems

  • ,

Higher algebra

Algebraic theories

  • / /

  • /

  • /

Algebras and modules

  • ,

  • ,

  • ,

  • ,

Higher algebras

  • symmetric monoidal (∞,1)-category of spectra

    • , ,

    • ,
  • ,

    • ,

Model category presentations

  • /

Geometry on formal duals of algebras

Theorems

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 (“higher geometry”).

Precursor in 1-category theory include

The theory is general, but the focus of the examples and applications is on derived algebraic geometry/E-∞ geometry.

Apparently a version of this is to eventually appear as:

Survey

A survey is at A Survey of Elliptic Cohomology - the derived moduli stack of derived elliptic curves in the section notions of space.

Contents

category: reference

Last revised on June 11, 2018 at 13:44:35. See the history of this page for a list of all contributions to it.