
Фундамента́льная гру́ппа — одна из простейших конструкций в алгебраической топологии. Сопоставляется группа всякому связному топологическому пространству. Для подмножеств плоскости эта группа измеряет количество «дырок». Наличие «дырки» определяется невозможностью непрерывно продеформировать (стянуть) некоторую замкнутую кривую в точку.
Алгебраическая система в универсальной алгебре — непустое множество (носитель) с заданным на нём набором операций и отношений (сигнатурой). Алгебраическая система с пустым множеством отношений называется алгеброй, а система с пустым множеством операций — моделью.
Алгебра — множество , называемое носителем алгебры, снабжённое набором
-арных алгебраических операций на
, называемым сигнатурой, или структурой алгебры. Иными словами, универсальной алгеброй является алгебраическая система с пустым множеством отношений.
Магма (группоид) в общей алгебре — алгебра, состоящая из множества М с одной бинарной операцией M × M → M. Помимо требования замкнутости множества относительно заданной на нём операции, других требований к операции и множеству не предъявляется.
Ма́гма — многозначный термин, применяющийся в следующих значениях:
Мелома́н — ценитель музыки.
Владимир Александрович Воеводский — советский, российский и американский математик, внёсший значительный вклад в алгебраическую геометрию и основания математики. Лауреат Филдсовской премии (2002), постоянный профессор Института перспективных исследований.
Группо́ид в теории категорий — категория, в которой все морфизмы являются изоморфизмами. Группоиды можно рассматривать как обобщение групп: категория, соответствующая группе , имеет ровно один объект и по одной стрелке для каждого элемента
из
, композиция стрелок задаётся как умножение соответствующих элементов в группе, при этом каждая стрелка является изоморфизмом; таким образом, множество стрелок группоида можно рассматривать как некоторое множество с частично определённой бинарной операцией умножения, так что для каждого элемента существуют левый и правый обратный, а также левая и правая единица по умножению.
Р120:
Гомотопическая теория типов — математическая теория, особый вариант теории типов, снабжённый понятиями из теории категорий, алгебраической топологии, гомологической алгебры; базируется на взаимосвязи между понятиями о гомотопическом типе пространства, высших категориях и типах в логике и языках программирования.
Марк Ио́сифович Гра́ев — советский и российский математик. Доктор физико-математических наук (1959).
Женский:
Юрий Евге́ньевич Шишмарёв — советский, российский учёный в области математической логики, кандидат физико-математических наук, профессор, заведующий кафедрами математики в трёх университетах Владивостока.
Алексе́й И́горевич Бондал — российский математик, доктор физико-математических наук (2006), профессор НИУ ВШЭ, ведущий научный сотрудник Математического института имени Стеклова РАН.
Михаил Михайлович Капранов — российский математик, специалист в области алгебраической геометрии, математической физики и теории категорий.
Бюлан — фамилия и топоним французского происхождения.
Алёна Андре́евна Степа́нова — советский и российский математик, специалист по теории моделей, доктор физико-математических наук, профессор, представитель сибирской школы алгебры и логики.
Коломбель — французская фамилия и топоним.
Общество с ограниченной ответственностью (ООО) — организационно-правовая форма коммерческих организаций, товариществ и обществ: