Homotopical and Higher Categorical Structures in Algebraic Geometry