Моноид

• Моноид — множество с ассоциативной бинарной операцией и единичным элементом. 
• Моноиды встречаются в математике, информатике и компьютерном программировании. 
• Примеры моноидов: неотрицательные целые числа, множество строк над алфавитом, матрицы в кольце. 
• Моноиды могут быть коммутативными, частично коммутативными, идемпотентными и трассирующими. 
• Свойства моноидов: обратимость элементов, свойство отмены, коммутативность, ассоциативность. 
• Моноиды могут быть представлены с помощью эквационального представления. 
• Моноиды можно рассматривать как категории с одним объектом и морфизмами, являющимися элементами моноида. 
• В информатике моноиды используются для моделирования итерационных алгоритмов и параллельных вычислений. 
• Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.