Моноид

Текущая версия страницы пока не проверялась опытными участниками и может значительно отличаться от , проверенной 11 сентября 2021 года; проверки требует .

Аксиомы моноида совпадают с теми аксиомами, которые накладываются на композицию морфизмов в категории. Отличие состоит в том, что в моноиде определено произведение любых двух элементов, тогда как композиция определена не для любых двух морфизмов. Сказать, что для любых двух морфизмов определена композиция — это то же самое, что сказать «категория состоит из одного объекта», то есть моноиды можно рассматривать как категории из одного объекта.