AG
и как они связаны с интегралами ага
Size: a a a
2020 January 27
МБ
Кстати. Хороший вопрос об интегралах. А вот матановские пределы выражаются через категорные?
t
Теперь я узнаю что такое Профунктор Оптикс
канал с мемчиками</irony>
KV
Кстати. Хороший вопрос об интегралах. А вот матановские пределы выражаются через категорные?
Да, как-то там через фильтры
Oℕ
Кстати. Хороший вопрос об интегралах. А вот матановские пределы выражаются через категорные?
На вики есть, но мне показалось, там такое выражение непрямое, в стиле "любое определение в математике через расширение Кана"
ЕО
Кстати. Хороший вопрос об интегралах. А вот матановские пределы выражаются через категорные?
МБ
Оу! Точно. Я же это разбирал уже
AG
Кстати. Хороший вопрос об интегралах. А вот матановские пределы выражаются через категорные?
2020 January 28
JG
Книга "Теория категорий для программистов" в варианте для OCaml почти готова
JG
NI
Не, пока в собранном виде (скажем, в готовом pdf) нет, смотреть очень лень.
JG
Ну это будет скоро - я напишу сюда когда это случится
2020 January 29
Oℕ
Представим, что один мальчик игрался опять с ЯП и для какой-то замкнутой моноидальной категории (Set -> Set, day convolution) написал какой-то интерфейс, напоминающий монаду, но страннее
Выглядит как
что этот мальчик получил такое?
Выглядит как
F : C -> C
pure: forall a : C. a -> F a
bind : forall a, b : C. (F a ⊗ ( a => F b)) -> F b
что этот мальчик получил такое?
Oℕ
т.е. он чем-то похож как если бы монаду определили через вот так
https://t.me/ru_catheory/4036
только вместо хомсетов замыкания
https://t.me/ru_catheory/4036
только вместо хомсетов замыкания
V
Похоже на сильную монаду
Oℕ
Да, я как минимум смог вывести из этого моноидальность
Oℕ
Спасибо
Oℕ
Похоже на сильную монаду
т.е. гипотетически такой bind эквивалентен flatten + тензорная сила?
V
Гипотетически да, если еще аксиомы выписать, то можно буквально проверить