TY - RPRT TI - Homotopy $n$-types of cubical sets and graphs AU - Chris Kapulkin AU - Udit Mavinkurve PY - 2025 UR - https://arxiv.org/abs/2408.05289 ID - 2408.05289 ER -