Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
The variant of étale (infinity,1)-site which is an (infinity,1)-category theoretic version of a pro-étale site.
Created on May 28, 2022 at 15:19:44. See the history of this page for a list of all contributions to it.