Homotopical algebraic geometry

1. redirect derived algebraic geometry

{{R from alternate name}}