Математическая энциклопедия - фундаментальный группоид

-группоид (категория, все морфизмы к-рой изоморфизмы), определенный для топологич. пространства X;объектами являются точки X, морфизмами объекта х 0 в х 1 -гомотопич. классы rеl {0,1} путей с началом х 0 и концом в х 1, композицией произведение классов путей. Группа изоморфизмов объекта x0 на себя совпадает с фундаментальной группой

А. В. Хохлов.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985