ЗП
ну вообще лемма йонеды это
если я ничего не напутал
forall b. (a -> b) -> b ~ aесли я ничего не напутал
Size: a a a
2018 February 10
NK
Хмммм, я не знал что я есть в этом чате
NK
Как-то это все внезапно
NK
Спокойной ночи, ребят
e
> %username% left the group
аж сердце ёкнуло
аж сердце ёкнуло
к
может там имелось в виду, что мы берем категорию морфизмов C и переводим объекты этой категории (морфизмы) в объекты Set - множества (все морфизмы A->X будут преобразовываться в одно множество A->X)
собственно и морфизмы функтора это H_A(f .) - тут типа частичное применение композиции, если f это X -> Y
(так как (f .) это морфизм от объекта A->X в A->Y в категории морфизмов)
(так как (f .) это морфизм от объекта A->X в A->Y в категории морфизмов)
к
в статье же про какой-то магический функтор, который берет объект и каким-то магическим образом получает множество морфизмов, где этот объект - кодомен, это все намного логичнее выражается через категорию морфизмов
ЕО
может там имелось в виду, что мы берем категорию морфизмов C и переводим объекты этой категории (морфизмы) в объекты Set - множества (все морфизмы A->X будут преобразовываться в одно множество A->X)
h_A это функтор из A в Set. Он отображает объект категории C (например X) в множество стрелок из X в A. А морфизм f в преобразование композиции с f
ЕО
ЕО
Тут вроде понятно написано
ЗП
Тут вроде понятно написано
поясни про экспоненты плиз)
ЕО
В смысле?
ЗП
ЕО
В смысле (x2) Ты о том, что стрелки B->A обозначаются A^B?
ЗП
В смысле (x2) Ты о том, что стрелки B->A обозначаются A^B?
в хаскелл это
newtype Exp f g x = Exp { unExp :: forall y. (x -> y) -> (f y -> g y) }ЗП
сорри) Экспоненциал
ЗП
не экспонента
ЕО
в хаскелл это
newtype Exp f g x = Exp { unExp :: forall y. (x -> y) -> (f y -> g y) }Как ты вы странно описываете типами объекты
ЕО
А что именно пояснить? Это же просто каррирование по определению. У тебя есть объект D и стрелка eval: (D, Y)->Z, такие что для любой стрелки g: XxY -> Z существует единственный g': X->D, такой что g(a, b) == eval(g'(a), b). Тогда D это (Y->Z) просто.