Fundamental ∞-groupoid