Все переводы разделены на 2 группы: «Книги» и «Статьи». Каждая из групп содержит список названий-ссылок (с указанием авторов) на соответствующие записи (если название не превращено в ссылку, запись только запланирована).
Все записи структурированы единообразно, в соответствии со следующим шаблоном:
Это перевод … (предыдущий раздел — <URL-ссылка>, оглавление — <URL-ссылка>)
<URL-ссылка содержимого> [включает подразделы: …]
Следующий раздел — <URL-ссылка>
где, <URL-ссылка> — название-ссылка; квадратные скобки указывают на необязательность соответствующего текста; <URL-ссылка содержимого> — название-ссылка, начинающаяся с «Содержимое …» и указывающая на текст данного раздела в pdf-формате.
Текст в pdf-формате не содержит непосредственно возможности его комментирования. Комментарии можно размещать в записи, откуда исходит <URL-ссылка содержимого>. Сделано это для того, чтобы формирование комментариев и просмотр содержимого можно было осуществлять параллельно, поскольку содержимое всегда открывается в новом окне.
Просьба в комментарии указывать номер страницы комментируемого текста.
…
Книги
- Введение в теорию категорий, ориентированное на языки программирования (Curien)
- Гомотопическая теория типов (Международный коллектив авторов)
- Лекции по теории категорий (Turi)
- Теория категорий для программистов (Milewski)
Статьи
- Алгебраические базы данных (Schultz, Spivak, Vasilakopoulou, Wisnesky)
- Бесплатные теоремы (Wadler)
- Поточечные расширения Кана (Milewski)
- Профункторная оптика (Milewski)
- Профункторный полиморфизм (Milewski)
- Профункторы как отношения (Milewski)
- Свободный моноид из свободной алгебры (Milewski)
- Теория категорий в обозначениях струнных диаграмм (Marsden)
- Топология и теория высших категорий (Leinster)
- Универсальная коалгебра (Rutten)
