TY - RPRT TI - Computational Paths Form a Weak ω-Groupoid AU - Arthur F. Ramos AU - Tiago M. L. de Veras AU - Ruy J. G. B. de Queiroz AU - Anjolina G. de Oliveira PY - 2025 UR - https://arxiv.org/abs/2512.00657 ID - 2512.00657 ER -