nLab
path infinity-groupoid in a lined topos