к
а можно исходный пейпер почитать
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
https://maartenfokkinga.github.io/utwente/mmf91m.pdf
Size: a a a
2018 February 28
к
OP
в общем, да, в чистом виде несоместимы.
Вв той статье, что ты кинул мы должны представить список как Fix. Для этого в нашумевшей библиотеке от другого популярного категорного блогера есть тип классов Recursive, который восстанавливает морфизм (не изо-, в одну сторону - достаточный для cata) из типа в фикспойнт
Вв той статье, что ты кинул мы должны представить список как Fix. Для этого в нашумевшей библиотеке от другого популярного категорного блогера есть тип классов Recursive, который восстанавливает морфизм (не изо-, в одну сторону - достаточный для cata) из типа в фикспойнт
Понятно, спасибо
ЗП
прикольно:
instance Recursive [a] where
project (x:xs) = Cons x xs
project [] = Nil
para f (x:xs) = f (Cons x (xs, para f xs))
para f [] = f Nil
instance Corecursive [a] where
embed (Cons x xs) = x:xs
embed Nil = []
apo f a = case f a of
Cons x (Left xs) -> x : xs
Cons x (Right b) -> x : apo f b
Nil -> []
это изобретение Кметта, абстрагирование от Fix/unfix (там есть такая штука как
refix но она редко нужна)ЗП
Если не воображать, что [a] изоморфно Fix (ListF a) вот тем катаморфизмом ты не можешь воспользоваться
ну и вообще можно сказать что
что так и записывается
ListF есть базовым функтором для неподвижной точки []что так и записывается
type instance Base [a] = ListF aAG
о, сюда ещё вроде не кидал
http://math.mit.edu/~dspivak/teaching/sp18/
http://math.mit.edu/~dspivak/teaching/sp18/
2018 March 03
Oℕ
@clayrat У меня беда с выражением предела функции через категорные пределы
Oℕ
Я полистав вики с трудом засунул в себя хитрое определение предела фильтра через категорный лимит
Oℕ
Дальше я так понимаю функция имеет предел в точке, когда фильтр, сходящийся к этой точке порождает через функцию фильтр сходящийся к образу точки
Oℕ
И что это тогда категорно?
Oℕ
Как тогда задать "функцию", чтобы можно было понастроить к домену и кодомену фильтров и найти там и там пределы?
Oℕ
аааа хотя мне же не непрерывность в точке нужно, а просто предел, т.е можно только образом обойтись, т.е. это просто лимит образа окрестностей как лимит фильтра
М
Добрый день
AG
@odomontois надо и самому разобраться :)
AG
или @Comonoid спросить
Oℕ
ещё на недавнем обсуждении у меня возник вопрос
Oℕ
что если в качестве диаграммной категории для лимита подсунуть ту же самую категорию?
Oℕ
Какие-то интересные последствия это будет иметь?
к
ну вот то же произведение, там исходные объекты, объект произведения и кодомены морфизмов из произведения, все в одной категории