ЕО
Вот в том же Маклейне как-то без этого обходятся ;-)
В маклейне зато постоянно ссылаются на те или иные алгебраические структуры. Что поделать, если людям списки ближе полугруппы?
Size: a a a
2018 February 23
Oℕ
я не могу представить это кодом
попробовал нахаскелить
Oℕ
такая ерунда получилась
ЗП
попробовал нахаскелить
Покаж
Oℕ
ну там базируется на том, что f a = a в плане объектов
ЗП
есть 2 пакета
ЗП
Oℕ
есть 2 пакета
оба про эндофункторы
ЗП
сопряжение
Oℕ
тут не эндофункторы и никак ты не выразишь их в эндофункторах
Oℕ
сопряжение
сопряжение эндофункторов
ЗП
да, но вот с free-functors мы легко получаем всякие штуки типа List из Free Monoid
Oℕ
да но речь не идёт про фри моноид
Oℕ
речь шла про Эленберг-Мур и клеисли
AG
эйленберг
Oℕ
эйлейнбейрг-муйр
Oℕ
самое говённое в том, что в недоязыках типо скалах и хачкелях мы законы не конструируем, мы их "подразумеваем"
https://ncatlab.org/nlab/show/Eilenberg-Moore+category
тут такая фигня
A homomorphism of T-modules f:(A,νA)→(B,νB) is a morphism f:A→B in C that commutes with the action, in that_
https://ncatlab.org/nlab/show/Eilenberg-Moore+category
тут такая фигня
A homomorphism of T-modules f:(A,νA)→(B,νB) is a morphism f:A→B in C that commutes with the action, in that_
AG
пили на идрисе!
Oℕ
Т.е. внутри категории в качестве морфизом те же морфизмы (функции) из оригинальной категории, но только не все, а те, для которых мы можем сконструировать правильность