Моноид
- Моноид – алгебраическая структура с бинарной операцией и тождественным элементом.
- Моноиды играют важную роль в теории групп и теории категорий.
- Действия и моноиды операторов определяют аналог групповых действий в моноидной теории.
- Моноидные гомоморфизмы представляют собой морфизмы между моноидами.
- Моноиды могут быть представлены с помощью эквационального представления и моноидных конгруэнций.
- Теория категорий может рассматриваться как расширение понятия моноида.
- Моноиды используются в информатике для моделирования итерационных алгоритмов и параллельных вычислений.
- Полные моноиды являются коммутативными моноидами с операцией бесконечного суммирования.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: