TY - RPRT TI - Higher path groupoids and the holonomy of formal power series connections AU - Matthew Cellot PY - 2025 UR - https://arxiv.org/abs/2506.23880 ID - 2506.23880 ER -