-группоид (категория, все морфизмы к-рой - изоморфизмы), определенный для топологич. пространства X;объектами являются точки X, морфизмами объекта х 0 в х 1 -гомотопич. классы rеl {0,1} путей с началом х 0 и концом в х 1, композицией - произведение классов путей. Группа изоморфизмов объекта x0 на себя совпадает с фундаментальной группой 
А. В. Хохлов.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
Группоид (теория категорий) — У этого термина существуют и другие значения, см. Группоид. В теории категорий группоид это категория, в которой все морфизмы являются изоморфизмами. Группоиды можно рассматривать как обобщение групп. А именно, категория, соответствующая… … Википедия
ГАЛУА ТЕОРИЯ КОЛЕЦ — обобщение результатов теории Галуа полей на случай ассоциативных колец с единицей. Пусть А ассоциативное кольцо с единицей, Н некоторая подгруппа группы всех автоморфизмов кольца А, N подгруппа группы Н, . Тогда подкольцо кольца А. Пусть… … Математическая энциклопедия
