Все переводы разделены на 2 группы: «Книги» и «Статьи». Каждая из групп содержит список названий-ссылок (с указанием авторов) на соответствующие записи (если название не превращено в ссылку, запись только запланирована).
Все записи структурированы единообразно, в соответствии со следующим шаблоном:
Это перевод … (предыдущий раздел — <URL-ссылка>, оглавление — <URL-ссылка>)
<URL-ссылка содержимого> [включает подразделы: …]
Следующий раздел — <URL-ссылка>
где, <URL-ссылка> — название-ссылка; квадратные скобки указывают на необязательность соответствующего текста; <URL-ссылка содержимого> — название-ссылка, начинающаяся с «Содержимое …» и указывающая на текст данного раздела в pdf-формате.
Текст в pdf-формате не содержит непосредственно возможности его комментирования. Комментарии можно размещать в записи, откуда исходит <URL-ссылка содержимого>. Сделано это для того, чтобы формирование комментариев и просмотр содержимого можно было осуществлять параллельно, поскольку содержимое всегда открывается в новом окне.
Просьба в комментарии указывать номер страницы комментируемого текста.
Книги
- 7 эскизов о композиционности: приглашение к прикладной теории категорий (Fong, Spivak)
- Введение в теорию категорий, ориентированное на языки программирования (Curien)
- Гомотопическая теория типов (Международный коллектив авторов)
- Дао функционального программирования (Milewski)
- Инициальные алгебры, терминальные коалгебры и теория неподвижных точек функторов (Adamek, Milius, Moss)
- Исчисление ко/концов (Loregian)
- Лекции по теории категорий (Turi)
- Стандарт языка Haskell 2010 ( Simon Marlow)
- Теория категорий для программистов (Milewski)
Статьи
- Алгебраические базы данных (Schultz, Spivak, Vasilakopoulou, Wisnesky)
- Аппликативное программирование с эффектами (McBride, Paterson)
- Аппликативные функторы (Milewski)
- Бесплатные теоремы (Wadler)
- Взвешенные копределы (Milewski)
- Дефункционализация и теорема Фрейда (Milewski)
- Зависимая оптика (Milewski)
- И тайное становится явным (Milewski)
- Инициальная алгебра как направленный копредел (Milewski)
- Линейные линзы в Haskell (Milewski)
- Математика — это ваш страховой полис (Milewski)
- Моноидальные катаморфизмы (Milewski)
- Мощь сопряжений (Milewski)
- Нейронные сети, пред-линзы и тройные модули Тамбары (Milewski)
- Неподвижные точки и диагональный метод (Milewski)
- Оптика для работающего математика (Milewski)
- Оптика на ко-предпучках (Milewski)
- Полиномиальная линза (Milewski)
- Поточечные расширения Кана (Milewski)
- Программирование с использованием универсальных конструкций (Milewski)
- Промонады, стрелки и нотация Эйнштейна для профункторов (Milewski)
- Профункторная оптика (Milewski)
- Профункторная оптика: категорная актуализация (Clarke, Elkins, Gibbons, Loregian, Milewski, Pillmore, Roman)
- Профункторная оптика: модульные средства доступа к данным (Gibbons, Pickering, Wu)
- Профункторное представление полиномиальных линз (Milewski)
- Профункторный полиморфизм (Milewski)
- Профункторы как отношения (Milewski)
- Расслоения, расщепления и линзы (Milewski)
- Свободные моноидальные функторы и профункторы (Milewski)
- Свободный моноид из свободной алгебры (Milewski)
- Теорема Фрейда о сопряженном функторе (Milewski)
- Теория категорий в обозначениях струнных диаграмм (Marsden)
- Топология и теория высших категорий (Leinster)
- Траверсальная оптика и полиномиальные функторы (Milewski)
- Универсальная коалгебра (Rutten)
- Упражнение на когерентность (Milewski)
- Фильтрованные копределы (Milewski)