higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
Higher noncommutative geometry refers to the version of higher geometry where the spaces are locally in some sense represented by higher algebras without commutativity constraints, or by higher categories of quasicoherent sheaves.
The standard case is the derived noncommutative geometry where spaces are represented by nice -categories or by spectral categories.
Created on December 30, 2012 at 19:29:16. See the history of this page for a list of all contributions to it.