Полугруппа с нейтральным элементом

Википедия Значение слова в словаре Википедия
В теории категорий моноид ( M , μ , η ) в моноидальной категории ( C , ⊗ , I ) — это объект M вместе с двумя морфизмами μ : M ⊗ M → M (называемый умножением ), и η : I → M (называемый единицей ), такими что следующая пятиугольная диаграмма Файл:Monoid mult.png ...