Introduction to derived algebraic and analytic geometry II