Математическая энциклопедия ФУНДАМЕНТАЛЬНЫЙ ГРУППОИД -группоид (категория, все морфизмы к-рой - изоморфизмы), определенный для топологич. пространства X;объектами являются точки X, морфизмами объекта х 0 в х 1 -гомотопич. классы rеl {0,1} путей с началом х 0 и концом в х 1, композицией - произведение классов путей. Группа изоморфизмов объекта x0 на себя совпадает с фундаментальной группой А. В. Хохлов. |