# nLab Structured Spaces

/

• geometric es

• geometric es

• ,

• /

## Examples

• , of s

• derived smooth geometry

• ,

• ,

• ,

• ,

• / /

• /

• /

• ,

• ,

• ,

• ,

## Higher algebras

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

• , ,

• ,
• ,

• ,

• /

## Theorems

This entry provides hyperlinks for central keywords of the text

• Structured Spaces

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.