TY - RPRT TI - A Spectral "schematization" of Homotopy Types AU - Renaud Gauthier PY - 2022 UR - https://arxiv.org/abs/1609.04290 ID - 1609.04290 ER -