Derived Algebraic Geometry V: Structured Spaces · wovepaper