NI
На мой взгляд, Data.Functor.Day.Hom, это плохой пример.
Слишком много программистской специфики.
Слишком много программистской специфики.
Size: a a a
2018 March 08
Oℕ
C^op*C это какой то эндопрофунктор
Oℕ
какой-то функтор одновременно ко и контравариантный
NI
какой-то функтор одновременно ко и контравариантный
Да, именно.
ЗП
Так это бифунктор
NI
Почему-то, там нет instance Bifunctor (->)
Ну и хер с ним.
Ну и хер с ним.
NI
Ойййй
Там ковариантно по обоим аргументам, вот почему и нет ->
Нумлин. Надо стереть из чатега.
Там ковариантно по обоим аргументам, вот почему и нет ->
Нумлин. Надо стереть из чатега.
ЗП
Почему-то, там нет instance Bifunctor (->)
Ну и хер с ним.
Ну и хер с ним.
Потому что контрвариантно?
ЗП
Только профунктор
NI
Ну пусть будет в качестве хаскельного примера профунктор.
Это, как минимум, для хаскеля очень близко.
Это, как минимум, для хаскеля очень близко.
NI
Потому что контрвариантно?
Да. (->) по одному аргументу контрвариантный, по другому ковариантный.
x → y
ковариантен по y, контрвариантен по x
Ну, это Hom-функтор и есть.
x → y
ковариантен по y, контрвариантен по x
Ну, это Hom-функтор и есть.
ЗП
Блин вот композиции профункторов (на подобии Compose) это конечно что-то
ЗП
Да. (->) по одному аргументу контрвариантный, по другому ковариантный.
x → y
ковариантен по y, контрвариантен по x
Ну, это Hom-функтор и есть.
x → y
ковариантен по y, контрвариантен по x
Ну, это Hom-функтор и есть.
Hom функтор это профунктор?
NI
Да, однозначно, что Hom-функтор является профунктором (и не только в хаскелевском смысле).
NI
Ну или -> в смысле хацкеля/пурескрипто.
ЗП
А бифунктор тогда что?
NI
Это функтор, домен которого — произведение двух категорий.