Фундаментальный Группоид

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