TY - RPRT TI - Globular subdivisions are dihomotopy equivalences AU - Philippe Gaucher PY - 2025 DO - 10.36045/j.bbms.250522 UR - https://arxiv.org/abs/2502.11773 ID - 2502.11773 ER -