Naive cotangent complex for sheaves of rings on topological spaces
functoriality naive cotangent complex