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

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

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

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. Монады, моноиды и категории

 

Реклама

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

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

Логотип WordPress.com

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

Фотография Twitter

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

Фотография Facebook

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

Google+ photo

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

Connecting to %s