VY
подскажите, пожалуйста, вот тут под set-valued functor понимается функтор в категорию Set?
Size: a a a
2019 July 14
KV
подскажите, пожалуйста, вот тут под set-valued functor понимается функтор в категорию Set?
Конечно, что ж ещё?
VY
ни с какой другой категорией нельзя провести подобные рассуждения?
V
Так как C(a,x) является множеством, то F(x) тоже должно быть множеством.
V
Вот если бы C была обогащённой категорией, тогда другой разговор.
VY
ок, да, понятно, категория должна быть одна и та же (по определению ест преобр)
2019 July 15
AG
https://live.statebox.org/ трансляция с ACT2019
2019 July 17
DM
В субботу, 20-го июля в Мск @alexknvl засеминарит "Recursion: schemes, algebras, finally tagless, data types".
Начало в 17 00 в БЦ Водный (Головинское ш. 5), 5 этаж, учебная аудитория у окна. С собой иметь паспорт, листочки и ручки, ноутбуки опционально (необходимость недетерменирована).
Чтобы вписаться, надо мне (@optician_owl) скинуть в личку свое ФИО, я закажу пропуск.
общие вопросы в https://t.me/teorkat_msk
Начало в 17 00 в БЦ Водный (Головинское ш. 5), 5 этаж, учебная аудитория у окна. С собой иметь паспорт, листочки и ручки, ноутбуки опционально (необходимость недетерменирована).
Чтобы вписаться, надо мне (@optician_owl) скинуть в личку свое ФИО, я закажу пропуск.
общие вопросы в https://t.me/teorkat_msk
ЗП
В субботу, 20-го июля в Мск @alexknvl засеминарит "Recursion: schemes, algebras, finally tagless, data types".
Начало в 17 00 в БЦ Водный (Головинское ш. 5), 5 этаж, учебная аудитория у окна. С собой иметь паспорт, листочки и ручки, ноутбуки опционально (необходимость недетерменирована).
Чтобы вписаться, надо мне (@optician_owl) скинуть в личку свое ФИО, я закажу пропуск.
общие вопросы в https://t.me/teorkat_msk
Начало в 17 00 в БЦ Водный (Головинское ш. 5), 5 этаж, учебная аудитория у окна. С собой иметь паспорт, листочки и ручки, ноутбуки опционально (необходимость недетерменирована).
Чтобы вписаться, надо мне (@optician_owl) скинуть в личку свое ФИО, я закажу пропуск.
общие вопросы в https://t.me/teorkat_msk
слайды?) видео?)
DM
про видео еще выясняю
C
Alert! Reenia All the haters is a known spammer and is CAS banned. Ban is strongly recommended.
AF
В субботу, 20-го июля в Мск @alexknvl засеминарит "Recursion: schemes, algebras, finally tagless, data types".
Начало в 17 00 в БЦ Водный (Головинское ш. 5), 5 этаж, учебная аудитория у окна. С собой иметь паспорт, листочки и ручки, ноутбуки опционально (необходимость недетерменирована).
Чтобы вписаться, надо мне (@optician_owl) скинуть в личку свое ФИО, я закажу пропуск.
общие вопросы в https://t.me/teorkat_msk
Начало в 17 00 в БЦ Водный (Головинское ш. 5), 5 этаж, учебная аудитория у окна. С собой иметь паспорт, листочки и ручки, ноутбуки опционально (необходимость недетерменирована).
Чтобы вписаться, надо мне (@optician_owl) скинуть в личку свое ФИО, я закажу пропуск.
общие вопросы в https://t.me/teorkat_msk
а по времени это на один час или два?
NI
В субботу, 20-го июля в Мск @alexknvl засеминарит "Recursion: schemes, algebras, finally tagless, data types".
Начало в 17 00 в БЦ Водный (Головинское ш. 5), 5 этаж, учебная аудитория у окна. С собой иметь паспорт, листочки и ручки, ноутбуки опционально (необходимость недетерменирована).
Чтобы вписаться, надо мне (@optician_owl) скинуть в личку свое ФИО, я закажу пропуск.
общие вопросы в https://t.me/teorkat_msk
Начало в 17 00 в БЦ Водный (Головинское ш. 5), 5 этаж, учебная аудитория у окна. С собой иметь паспорт, листочки и ручки, ноутбуки опционально (необходимость недетерменирована).
Чтобы вписаться, надо мне (@optician_owl) скинуть в личку свое ФИО, я закажу пропуск.
общие вопросы в https://t.me/teorkat_msk
Допиши, что обсуждать стоит не тут, а там.
ЕО
@StrawRat, это зачем здесь?
2019 July 20
AG
2019 July 21
MK
Попытался выразить продолжения как композицию одинаковых профункторов.
Не знаете, что это такое? Или на что это может быть похожим? Выглядит как какой-то fi
Let p ~ (->)
p (p a b) b ===> (a -> b) -> b -- continuation
p (p a b) (p a b) ===> (a -> b) -> (a -> b) -- application
Не знаете, что это такое? Или на что это может быть похожим? Выглядит как какой-то fi
x.
p a (p a b) ===> a -> (a -> b) -- ???к
b же чисто в результате, нет никакой связи у него, значение брать неоткуда, выглядит абсолютно бессмысленно
ЗП
Попытался выразить продолжения как композицию одинаковых профункторов.
Не знаете, что это такое? Или на что это может быть похожим? Выглядит как какой-то fi
Let p ~ (->)
p (p a b) b ===> (a -> b) -> b -- continuation
p (p a b) (p a b) ===> (a -> b) -> (a -> b) -- application
Не знаете, что это такое? Или на что это может быть похожим? Выглядит как какой-то fi
x.
p a (p a b) ===> a -> (a -> b) -- ???так у профунктора 2 функции, нужно думаю для первой делать что-то типа
a -> b а для второй как раз строить фиксЗП
что-то типа
pfix :: Profunctor p => (a -> b) -> p b (p a d -> d) -> p a d