higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
Given a generalized space $X$ conceived as a concrete sheaf $X \in Sh(Charts)_{\sharp_1} \hookrightarrow Sh(Charts)$ on a site $Charts$ of local model spaces, a plot of $X$ over a $U \in Charts$ is an element of $X(U) \in Set$, hence (under the Yoneda lemma) is a morphism $U \to X$ from that local model space to $X$.
For diffeological spaces the term was coined in
Created on June 6, 2020 at 13:32:28. See the history of this page for a list of all contributions to it.