AG
ну как общее, мы же конкретную категорию берем
forall b. p a b c f b
Size: a a a
2020 June 29
ЗП
Можно вообще
ЗП
Ну вообще есть статья от Lyxia, я просто обобщил Cont
ЗП
Ну а в чем я не прав? Я не претендую на академика)
AG
в том что это общее чем Кан
AG
экспоненциал в этой категории через расширение Кана и определяется
ЗП
Ну как раз Кан может быть определен через pr ^ profunctor
ЗП
Понятно, я говорю про хаскель вариант, где все довольно потерто
AG
потому что
^ это и есть уже замаскированный канЗП
потому что
^ это и есть уже замаскированный канОднако) ну я пришел к такой записи аналитически, путем поднятия абстракции
ЗП
type Lan f g a = Y (Costar g) f a
type Ran f g a = X (Star g) f a
type Ran f g a = X (Star g) f a
ЗП
Хотя мб тут даже не про профунктор, а категорию
ЗП
Или я не прав?
AG
не знаю, а в чем вопрос?
ЗП
В том, что я все таки уверен, что X более общее, чем Кан
AG
не знаю что такое X
ЗП
forall b. p a b -> f b
AG
вообще предлагаю это всё в @ru_catheory показывать
ЗП
Не хочу позориться:D
DD
есть фирма. есть их контактные
данные. они занимаются парсингом сайтов и сбором баз. потом их они продают. они еще котят собирать инфу владельцев этих фирм. если я хочу к ним устроиться, просто потому
что я это люблю. как им написать?
как бы ты им написал, зная, что ты еще не хакер в сборе инфы, но тебе это интересно? не знаю как им
написать и предложить себя как
программера.
PAK 4
данные. они занимаются парсингом сайтов и сбором баз. потом их они продают. они еще котят собирать инфу владельцев этих фирм. если я хочу к ним устроиться, просто потому
что я это люблю. как им написать?
как бы ты им написал, зная, что ты еще не хакер в сборе инфы, но тебе это интересно? не знаю как им
написать и предложить себя как
программера.
PAK 4