
Перечитал давний доклад академика Арнольда В.И. о сложности последовательностей нулей и единиц, в которй он использует монады для определения сложности.
Доклад в двух вариантах, с цветными картинками и академик тут очень красиво и подробно рассказывает, почему одна последовательность сложнее другой и как это видно и строгий вариант "Доклад в Московском математическом обществе"
Вот тут можно прочитать и посмотреть, советую
https://elementy.ru/nauchno-populyarnaya_biblioteka/430178/430281
Там много интересного, но запомнились монады, как инструмент, весьма наглядный, для демонстрации связей и путей от сложного к простому нулю. Если кратко, то монады это простое отображение множества на себя, т.е. каждый элемент множества отображается на элемент того же множества.
Вот и захотелось глянуть на монады точек эллиптической кривой над конечным полем.