Монада — это моноид в категории эндофункторов. В чём проблема? #SoMe2

Возможно, вы слышали, что монада — это моноид в категории эндофункторов, но что это на самом деле означает? В этом видео вы изучите основы теории категорий и разберётесь в этом печально известном предложении! Это моя работа для второго тура летнего математического конкурса, организованного @3blue1brown.