cotangent complex