higher geometry / derived geometry Ingredients Concepts geometric little (∞,1)-toposes geometric big (∞,1)-toposes Constructions Examples derived smooth geometry Theorems A geometry is an (∞,1)-category equipped in a compatible way with the structure of an (∞,1)-site; the structure of an essentially algebraic (∞,1)-theory. The objects of are to be thought of as test-spaces with certain higher geometry structure and the morphisms as homomorphisms preserving that geometric structure. These two...