Computational Paths - A Weak Groupoid. - Tiago Mendonça Lucena de Veras; Arthur F. Ramos; Ruy J. G. B. de Queiroz; Thiago D. O. Silva; Anjolina Grisi de Oliveira (CoRR, 2020)