Слушайте, такой вопрос, я в инсте достаточно внимательно слушал дискретку, по этому я знаю что такое моноид и гомоморфизм. Увы, теории категорий у нас не было, по этому с эндофункторами сложнее, но я вроде почитал, как я понял стрелка=гомоморфизм=функтор, т.е. просто отображение одного в другое. Эндофунктор - отображение в себя.
Но что есть категория эндофункторов и как там найти моноид - тут я не могу допетрить. Можете на пальцах примерчик подсказать?