Топосы

Это перевод 29 раздела книги (предыдущий раздел — Обогащенные категории, оглавление — Теория категорий для программистов (перевод глав книги Б. Милевски)

Содержимое текущего раздела включает подразделы:

  • Классификатор подобъектов
  • Топос
  • Топосы и логика

Следующий раздел — Теории Ловера

Обогащенные категории

Это перевод 28 раздела книги (предыдущий раздел — Расширения Кана, оглавление — Теория категорий для программистов (перевод глав книги Б. Милевски)

Содержимое текущего раздела включает подразделы:

  • Почему моноидальная категория?
  • Моноидальная категория
  • Обогащенная категория
  • Предпорядки
  • Метрические пространства
  • Обогащенные функторы
  • Самообогащение
  • Связь с 2-категориями

Следующий раздел — Топосы

Расширения Кана

Это перевод 27 раздела книги (предыдущий раздел — Концы и коконцы, оглавление — Теория категорий для программистов (перевод глав книги Б. Милевски)

Содержимое текущего раздела включает подразделы:

  • Правое расширение Кана
  • Расширение Кана как сопряжение
  • Левое расширение Кана
  • Расширения Кана как концы
  • Расширения Кана в Haskell

Следующий раздел — Обогащенные категории

Концы и коконцы

Это перевод 26 раздела книги (предыдущий раздел — Алгебры для монад, оглавление — Теория категорий для программистов (перевод глав книги Б. Милевски)

Содержимое текущего раздела включает подразделы:

  • Диестественные преобразования
  • Концы
  • Концы как уравнители
  • Естественные преобразования как концы
  • Коконцы
  • Лемма ниндзя Йонеды
  • Композиция профункторов

Следующий раздел — Расширения Кана

Алгебры для монад

Это перевод 25 раздела книги (предыдущий раздел — F-алгебры, оглавление — Теория категорий для программистов (перевод глав книги Б. Милевски)

Содержимое текущего раздела включает подразделы:

  • T-алгебры
  • Категория Клейсли
  • Коалгебры для комонад
  • Линзы

Следующий раздел — Концы и коконцы

F-алгебры

Это перевод 24 раздела книги (предыдущий раздел — Комонады, оглавление — Теория категорий для программистов (перевод глав книги Б. Милевски)

Содержимое текущего раздела включает подразделы:

  • Рекурсия
  • Категория F-алгебр
  • Натуральные числа
  • Катаморфизмы
  • Свертки
  • Коалгебры

Следующий раздел — Алгебры для монад

Комонады

Это перевод 23 раздела книги (предыдущий раздел — Монады с категорной точки зрения, оглавление — Теория категорий для программистов (перевод глав книги Б. Милевски)

Содержимое текущего раздела включает подразделы:

  • Программирование с помощью комонад
  • Комонада Product
  • Анализ композиции
  • Комонада Stream
  • Комонада с категорной точки зрения
  • Комонада Store

Следующий раздел — F-алгебры