TY - RPRT TI - Log homotopy types are homotopy types with modulus AU - Shane Kelly PY - 2025 UR - https://arxiv.org/abs/2503.15253 ID - 2503.15253 ER -