Магма (алгебра)
- В абстрактной алгебре магма, бинар или группоид являются базовыми алгебраическими структурами.
- Термин «группоид» был введен в 1927 году Генрихом Брандтом и используется в теории категорий.
- Магма — это набор M с операцией , которая отправляет любые два элемента a, b ∈ M в другой элемент, a b ∈ M.
- Для квалификации как magma, набор и операция (M, ) должны удовлетворять требованию (известному как magma или аксиома замыкания).
- Морфизм магм — это функция f : M → N, которая преобразует магму (M, ) в магму (N, ∗), сохраняя бинарную операцию.
- Существует несколько различных видов магмы, в зависимости от того, каким аксиомам должна удовлетворять операция.
- Категория магм, обозначаемая Mag, — это категория, объектами которой являются магмы, а морфизмами — гомоморфизмы магм.
Полный текст статьи: