Понятно, вот в чем идея. Совершенно очевидно, что a -> a будет населён функциями без идентификатора.

тности, ссылаясь на https://bartoszmilewski.com/2015/04/07/natural-transformations/ [https://bartoszmilewski.com/2015/04/07/natural-transformations/] Автор говорит: «Это не функтор». Я могу определитьfmap :: (a -> b) -> (a -> a) -> (b -> b) ...

 точно так же, как для обычного

т ответ Я сделал на месте что-то, что немного похоже на «высший порядок»": лайк

Какими будут методы бикомонады?

Пока размышляю, какой полезный стандартный класс предложитьк этому

Складная, моноидная и монадная

Рассмотрим следующую подпись

Какая связь между профессорами и стрелами?

Какие типы различают категории?

Что такое определение Аппликативного Функтора из теории категорий POV?

Я смог отобразить определение Функтора из теории категорий в определение Хаскелла следующим образом: поскольку объекты

Связь между `DList` и` [] `с Codensity

Что является аналогом категории в программировании?

Я обнаружил, что между логикой и программированием существует изоморфизм, называемыйПереписка Карри-ГовардаТак есть ли такая эквивалентность для теории катег...

Список на основе правого расширения Кан

В ``Кан расширения для оптимизации программы'' Ральфом Хинзе (Ralf Hinze) есть определение типа List, основанное на правом расширении Кана забывчивог...