generalized smooth space

higher geometry / derived geometry Ingredients Concepts geometric little (∞,1)-toposes geometric big (∞,1)-toposes Constructions Examples derived smooth geometry Theorems Generalised smooth spaces are, roughly speaking, generalisations of smooth manifolds. Their raison d’etre is the following Manifolds are fantastic spaces. It’s a pity that there aren’t more of them. Many spaces that occur in mathematics aren’t manifolds but one would like to be able to treat them as if they were manifolds; in..