ЗП
[a] -> a
Size: a a a
2018 February 23
NI
это все понятно абстрактно) а на примере списка что?
Млин, ну каждая алгебра про список, это что-то типаа сворачивание списка.
Для каждлого конкретного типаа.
Ну вот для Nat или даже Float — запросто же вообразить!
Для каждлого конкретного типаа.
Ну вот для Nat или даже Float — запросто же вообразить!
NI
Нуилитам, для String.
ЗП
Млин, ну каждая алгебра про список, это что-то типаа сворачивание списка.
Для каждлого конкретного типаа.
Ну вот для Nat или даже Float — запросто же вообразить!
Для каждлого конкретного типаа.
Ну вот для Nat или даже Float — запросто же вообразить!
ну набор алгебр это
[Int] -> Int
[Double] -> Double
...
[Int] -> Int
[Double] -> Double
...
Oℕ
это все понятно абстрактно) а на примере списка что?
для списка алгебра - это типа Reducer
AG
ну типа из категории алгебр для списка в категорию типов и назад
AG
один забывает про алгебры а второй рисует одноместные списки
NI
Т.е., надо просто вообразить, что такое вообще бывает "в природе", как морфизмы типаа
[Int] → Int
[Int] → Int
NI
Ну ведь бывают же?
ЗП
Т.е., надо просто вообразить, что такое вообще бывает "в природе", как морфизмы типаа
[Int] → Int
[Int] → Int
свертка
ЗП
катаморфизм
AG
пардон не одноместные, а константу
Oℕ
вот есть категория Reducer ов, ты в одну сторону пилиль функтор, который матчит в одно какое-то значение
Oℕ
а обратно пилишь функтор, который редьюсит что-угодно в это значение
ЗП
а обратно пилишь функтор, который редьюсит что-угодно в это значение
ну типа fold/unfold?
Oℕ
ну типа fold/unfold?
нет
Oℕ
тебе не надо анфолдить
Oℕ
тебе надо из значения сделать катаморфизм, как ты сказал
Oℕ
и ты просто берёшь константный
NI
ну набор алгебр это
[Int] -> Int
[Double] -> Double
...
[Int] -> Int
[Double] -> Double
...
И причём, между ними бывают и гомоморфизмы.
Ну и понятно, что любой алгебре можно забыть, что она алгебра, а какбе типаа просто "тип a".
Это и будет забывающий, ну и как уж так получилось, правый сопряжённый.
Т.е., для алгебры [Double] → Double этот вот забывающий функтор должен выдать просто Double.
Ну и для квадрата коммутативного, остаётся только один морфизм...
Ну и понятно, что любой алгебре можно забыть, что она алгебра, а какбе типаа просто "тип a".
Это и будет забывающий, ну и как уж так получилось, правый сопряжённый.
Т.е., для алгебры [Double] → Double этот вот забывающий функтор должен выдать просто Double.
Ну и для квадрата коммутативного, остаётся только один морфизм...