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

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

Доказательства уровня открытого типа в Haskell / Idris

В Idris / Haskell можно доказать свойства данных путем аннотирования типов и использования конструкторов GADT, например, с Vect, однако это требует жесткого ...

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

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

What does “coalgebra” mean in the context of programming?

Я слышал терминкоалгебрами» несколько раз в функциональном программировании и кругах PLT, особенно когда речь идет об объектах, комонадах, линзах и тому подо...

Как функторы в Хаскеле связаны с функторами в теории категорий?

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

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

Понятно, вот в чем идея. Совершенно очевидно, что 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) ...

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

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

Почему класс Functor не имеет возвращаемой функции?

С категориальной точки зрения функтор - это пара двух карт (одна между объектами, а другая между стрелками категорий), следуя некоторым аксиомам.Я предположи...