Исторический словарь галлицизмов русского языка. - М.: Словарное издательство ЭТС http://www.ets.ru/pg/r/dict/gall_dict.htm. Николай Иванович Епишкин epishkinni@mail.ru. 2010.
Группоид — Группоид: Группоид в абстрактной алгебре то же что и магма базовый тип алгебраической структуры, предложенный Остином Ором. Группоид категория, в которой все морфизмы являются изоморфизмами … Википедия
ГРУППОИД — универсальная алгебра с одной бинарной операцией. Г. самый широкий класс таких алгебр; группы, полугруппы, квазигруппы все это Г. специального вида. Важным понятием для Г. является понятие изотоп и и операций. Пусть на множестве Gопределены две… … Математическая энциклопедия
Группоид (теория категорий) — У этого термина существуют и другие значения, см. Группоид. В теории категорий группоид это категория, в которой все морфизмы являются изоморфизмами. Группоиды можно рассматривать как обобщение групп. А именно, категория, соответствующая… … Википедия
УПОРЯДОЧЕННЫЙ ГРУППОИД — группоид Н, множество элементов к рого частично упорядочено отношением и, кроме того, операция и порядок связаны аксиомой Если У . г . Н подчиняется более сильной аксиоме то порядок в H наз. строгим, а Н строгим частично упорядоченным группоидом … Математическая энциклопедия
ФУНДАМЕНТАЛЬНЫЙ ГРУППОИД — группоид (категория, все морфизмы к рой изоморфизмы), определенный для топологич. пространства X;объектами являются точки X, морфизмами объекта х 0 в х 1 гомотопич. классы rеl {0,1} путей с началом х 0 и концом в х 1, композицией произведение… … Математическая энциклопедия
ЕСТЕСТВЕННО УПОРЯДОЧЕННЫЙ ГРУППОИД — частично упорядоченный группоид Н, в к ром все элементы положительны (т. е. и для любых а, и больший из двух элементов всегда делится (и справа и слева) на меньший, т. е. из а<b следует ах=уа=b для некоторых х, Положительный конус любой… … Математическая энциклопедия
СВОБОДНЫЙ ГРУППОИД — свободная алгебра многообразия всех группоидов. С. г. с множеством Xсвободных образующих совпадает с группоидом слов, если под словом понимать любую упорядоченную систему элементов из Xс любыми повторениями, причем в этой системе задано… … Математическая энциклопедия
Алгебраическая система — (или алгебраическая структура) в универсальной алгебре множество (носитель) с заданным на нём набором операций и отношений (сигнатура), удовлетворяющим некоторой системе аксиом. Алгебраическая система с пустым множеством отношений… … Википедия
Магма (алгебра) — У этого термина существуют и другие значения, см. Магма (значения). Магма (группоид) в абстрактной алгебре базовый тип алгебраической структуры. Магма состоит из множества М с одной бинарной операцией M × M → M. Помимо требования… … Википедия
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
