higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
Complex derived analytic geometry is the refinement of the notion of complex analytic space from geometry to higher geometry/higher algebra.
Jacob Lurie, sections 11 and 12 of Closed Immersions
Mauro Porta, Derived complex analytic geometry I: GAGA theorems (arXiv:1506.09042)
Mauro Porta, Derived Analytic Rings? (preprint including a good theory of modules over analytic rings)
Last revised on July 8, 2015 at 14:19:49. See the history of this page for a list of all contributions to it.