Motivic homotopy theory in derived algebraic geometry

In topology, generalized cohomology theories are representable in the stable homotopy category. The analogue in algebraic geometry is the stable motivic homotopy category, constructed by Morel–Voevodsky, where generalized motivic cohomology theories are representable. In this thesis, we consider an extension of this construction to the world of derived algebraic geometry. We demonstrate the Morel–Voevodsky localization theorem in this setting, and establish the formalism of Grothendieck’s six operations. This formalism is encoded together with all homotopy coherence data using the language of higher category theory.