Quantizing homotopy types