Homotopical Algebraic Geometry I

GPTKB entity