Теория категорий для программистов (перевод глав книги Б. Милевски)

Предисловие редактора перевода

Исходный авторский текст расположен по адресу:

https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

В основу перевода первых глав включены варианты, подготовленные М.Страховым (Monnoroch на Хабрахабр: предисловие и гл.1-4), А.Бирюковым совместно с Bodigrim (leshabirukov, Bodigrim на Хабрахабр: гл.5-7). Комплектность перевода соответствует текущему состоянию книги у автора. Активное участие в вычитке переводов принимает А.Бирюков.

Основная особенность переводов, отличающая текст от авторского, заключается в цветовом выделении формальных фрагментов. Синим цветом выделены математические формулы и символы, а также программные фрагменты, набранные моноширинным шрифтом, на псевдо Haskell. Пурпурный цвет выделяет программные фрагменты на C++ и Haskell. Помимо этого везде черным полужирным начертанием выделены обозначения категорий. (Цель этой самодеятельности — улучшить восприятие текста; убрать это, при необходимости, будет нетрудно).

С благодарностью принимаются любые замечания по переводу и офрмлению текста. (Согласование текста из разных глав, например, существуют повторы при введении новых терминов, будет произведено после авторского завершения работы; возможно Милевски внесет некоторые изменения после завершения).


Предисловие

Часть I

  1. Категория: суть композиции
  2. Типы и функции
  3. Большие и малые категории
  4. Категории Клейсли
  5. Произведения и копроизведения
  6. Простые алгебраические типы данных
  7. Функторы
  8. Функториальность
  9. Функциональные типы
  10. Естественные преобразования

Часть II

  1. Теория категорий и декларативное программирование
  2. Пределы и копределы
  3. Свободные моноиды
  4. Представимые функторы
  5. Лемма Йонеды
  6. Вложение Йонеды

Часть III

  1. Все о морфизмах
  2. Сопряжения
  3. Свободные / забывающие сопряжения
  4. Монады: определение программиста
  5. Монады и эффекты
  6. Монады с категорной точки зрения
  7. Комонады
  8. F-алгебры
  9. Алгебры для монад
  10. Концы и коконцы
  11. Расширения Кана
  12. Обогащенные категории
  13. Топосы
  14. Теории Ловера
  15. Монады, моноиды и категории

 

Теория категорий для программистов (перевод глав книги Б. Милевски): 2 комментария

  1. Hi. I have checked your wordpress.com and i see you’ve got some duplicate content so probably it is the reason that you don’t rank high in google.
    But you can fix this issue fast. There is a tool that generates articles
    like human, just search in google: miftolo’s tools

    Нравится

    1. Good day.
      What do you have in mind? Provide specific facts, please.
      But first I advise you to read the «Preface of the Translation Editor» — https: //wordpress.com/post/henrychern.wordpress.com/648. To do this, the text must be translated from Russian into English, using, for example, Google-translator. If you do not know how to use it, ask someone who knows how.
      Generally, before you write, you need to learn how to read.
      Good luck.

      Нравится

Добавить комментарий

Заполните поля или щелкните по значку, чтобы оставить свой комментарий:

Логотип WordPress.com

Для комментария используется ваша учётная запись WordPress.com. Выход /  Изменить )

Google photo

Для комментария используется ваша учётная запись Google. Выход /  Изменить )

Фотография Twitter

Для комментария используется ваша учётная запись Twitter. Выход /  Изменить )

Фотография Facebook

Для комментария используется ваша учётная запись Facebook. Выход /  Изменить )

Connecting to %s