Loading paper
Higher path groupoids and the holonomy of formal power series connections | Tomesphere