higher geometry / derived geometry
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
function algebras on ∞-stacks?
derived smooth geometry
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 10:19:49. See the history of this page for a list of all contributions to it.