∞-category of spaces