Телеграмм чат группы ru_catheory страница 376

падажите
data Coyoneda f a where
Coyoneda :: (b -> a) -> f b -> Coyoneda f a

стрелка в другую сторону

17:32пожаловаться #1

Orbarax

падажите
data Coyoneda f a where
Coyoneda :: (b -> a) -> f b -> Coyoneda f a

стрелка в другую сторону

Это просто йонеда

17:32пожаловаться #2

с ним тоже разобраться надо

17:32пожаловаться #3

(forall x . (a -> x) -> Maybe x) -> Maybe a - это что-то про кофунктор

17:32пожаловаться #4

https://hackage.haskell.org/package/kan-extensions-5.2/docs/src/Data.Functor.Coyoneda.html#Coyoneda

Это просто йонеда

17:32пожаловаться #5

*про контравариантный функтор
простите

17:33пожаловаться #6

phi :: (forall x . (a -> x) -> F x) -> F a
phi alpha = alpha id

psi :: F a -> (forall x . (a -> x) -> F x)
psi fa h = fmap h fa

17:33пожаловаться #7

первое - йонеда, второе - койонеда

17:33пожаловаться #8

Yuriy Syrovetskiy

но здесь другой тип слева:

f<a>(template<x> (x -> a) -> F<x>) -> F<a>

кажется я понял что ты имел в виду

Yuriy Syrovetskiy in Теория категорий

17:35пожаловаться #9

Михаил Бахтерев

fmap: (a -> b) -> (f a -> f b), а там: ((a -> b) -> f a) ~ f b

здесь всё-таки есть огромная разница в том, что означают a и b

Михаил Бахтерев in Теория категорий

17:58пожаловаться #10

МБ

Yuriy Syrovetskiy

здесь всё-таки есть огромная разница в том, что означают a и b

Ага. Но я показал, что даже структура типа другая

18:02пожаловаться #11

Михаил Бахтерев

Ага. Но я показал, что даже структура типа другая

там та же структура. Скобки у fmap не так стоят как ты написал

Михаил Бахтерев in Теория категорий

18:03пожаловаться #12

МБ

там та же структура. Скобки у fmap не так стоят как ты написал

Так. a -> b -> c = a -> (b -> c)

Constantine Drozdov in Теория категорий

18:07пожаловаться #13

Ага, а то я уже засомневался, что fmap это lift)

18:08пожаловаться #14

да, ты прав

Зигохистоморфный Препроморфизм in Теория категорий

18:08пожаловаться #15

2019 December 23

ЗП

phi :: (forall x . (a -> x) -> F x) -> F a
phi alpha = alpha id

psi :: F a -> (forall x . (a -> x) -> F x)
psi fa h = fmap h fa

где второе койонеда? койонеда про exists

01:36пожаловаться #16

Зигохистоморфный Препроморфизм

где второе койонеда? койонеда про exists

мне так бартош сказал, я сам не местный

Oleg ℕizhnik in Теория категорий

01:37пожаловаться #17

Oℕ

первое - йонеда, второе - койонеда

нет первое и второе - кусочки одного изоморфизма в простой лемме Йонеды
можете прислать конкретное место, где Бартош говорит, что второе как-то относится к лемме ко-Йонеды

08:14пожаловаться #18

Oleg ℕizhnik

А это не оно разве?

10:47пожаловаться #19

phi :: (forall x . (a -> x) -> F x) -> F a
phi alpha = alpha id