3зной
1ответ
Как понять определение Setoid категории?
12зной
2ответ
Откуда появляется название раздела для частично примененного оператора инфикса?
3зной
1ответ
Сумма индексированных функторов
6зной
1ответ
Что это похоже на KleisliFunctor?
1зной
1ответ
5зной
2ответ
Согласны ли `join` и` fmap join` в Haskell (с точки зрения теории категорий)?
11зной
1ответ
Каковы были бы методы би-комонады?
3зной
2ответ
Эффективная реализация катаморфизма в Scala