коалгебра над комонадой и аксиомы Эвклида

Итак,

берем комонаду X+X, коалгебра над ней - единичный отрезок.
Из этого можно построить вещественную прямую (окей, нужен объект натуральных чисел), и R².

Ну и как так получается, что в результате мы имеем Эвклидову геометрию?

Загадочно.

Ну или на матоверфлоу надо было задавать...

еще пример комонады

Однажды один русский человек смотрел по телевизору передачу про американцев. Там говорилось что пиндосы настолько тупые что верят всему что показывают по телевизору. Русский человек порадовался что он не тупой пиндос и пошел рассказывать об этом всем своим знакомым.

via kzerby_repair