TY - RPRT TI - Representations up to coherent homotopy AU - Tim Porter AU - Jim Stasheff PY - 2022 UR - https://arxiv.org/abs/2210.00536 ID - 2210.00536 ER -