VS
Это вам в понв, батенька
Size: a a a
2021 April 28
SB
Вот тут прям задел струны души
АВ
ты генератор какой-то используешь? ))
T
это прикол какой-то или это реально имеющий смысл набор слов?
AB
Это цитата с лекции по теории гомотопий препода с мат-меха СПбГУ
AB
Лекция, скорее всего, для направления чистой математики
T
а,ну тогда понятно.Я из-за такого с универа и отчислился
AB
На чистмате из-за такого вешаются
DS
Я бы поговорил с копипастой, но там это всё же оффтопик
SB
Это что-то связанное с группами и их абеливой разновидностью. В целом группы это уточнение моноида, который прославился благодарю хаскелю )))
SB
MapReduce можно читать как Map-to-monoid-then-reduce-using-binary-operation
SB
На теории групп даже система контроля версий построена.
DS
Ну и тут вопрос, что моноиды - это куда более богатая штука, если лезть в теорию категорий.
Где есть наш любимый моноид в категории эндофункторов
Где есть наш любимый моноид в категории эндофункторов
SB
Это да. Группы не так интересны, потому что наличие инверсии мало что дает нового принципиально.
DS
А, ну и ещё про моноиды, интересный факт, что всеми любимые иммутабельные списки - это свободный моноид.
SB
моноидов можно очень много назвать, которыми мы часто пользуемся. опять же, не зря я МапРедюс упомянул.
SB
на практике, конечно, из-за сайдэффектов в сторогом смысле половина monoid-like бинарных операций на самом деле не моноиды, но кому до этого есть дело.
SB
а группы вообще начались с изучений симметрий. т.е. изначально достаточно специфическая область сама по себе. оттуда и требование, что должна существовать инверсия.
