«Монада может быть определена через общее понятие моноида в моноидальной категории. Монада над категорией K — это моноид в моноидальной категории эндофункторов End ( K )».
Все так, но ты сказал что монада это полугруппа с единицей, что является необходимым, но не достаточным условием. Я тебя поправил