Полный перечень переводов находится в Переводы
Далее, в обратном хронологическом порядке, приводится информация о публикациях новых переводов, обновлении (исправлении) имеющихся и связанные темы.
-
- 2022-03-30 Публикация: перевод статьи (Milewski) «И тайное становится явным«
- 2022-03-28 Публикация: перевод статьи (коллектив авторов) «Профункторная оптика: категорная актуализация«
- 2022-03-02 Публикация: размещение скорректированного перевода всей книги Гомотопическая теория типов как одного целого (ранее размещенные переводы отдельных разделов книги удалены)
- 2022-01-26 Публикация: перевод 11 главы второй части книги Гомотопическая теория типов
- 2021-12-22 Публикация: перевод Приложения книги Гомотопическая теория типов
- 2021-12-18 Публикация: перевод 10 главы второй части книги Гомотопическая теория типов
- 2021-10-29 Публикация: перевод 9 главы второй части книги Гомотопическая теория типов
- 2021-10-26 Обновление: в переводе книги Гомотопическая теория типов (с начала по 8 главу, включительно) нумерация формул, определений, теорем и т.п. внутри разделов сделана сквозной (согласно оригиналу). Помимо этого подправлены переводы некоторых терминов (правда, остались сомнения насчет некоторых не общепринятых топологических терминов, введенных авторами данной книги)
- 2021-10-09 Публикация: переводы статей (Milewski) Зависимая оптика и Оптика для работающего математика
- 2021-10-01 Публикация: перевод 8 главы второй части книги Гомотопическая теория типов
- 2021-08-29 Публикация: перевод первых трех глав книги Исчисление ко/концов (Loregian)
- 2021-06-30 Публикация: перевод первых двух глав книги Инициальные алгебры, терминальные коалгебры и теория неподвижных точек функторов (Adamek-Milius-Moss)
- 2021-04-20 Публикация: перевод статьи Траверсальная оптика и полиномиальные функторы (Milewski)
- 2020-08-22 Публикация: переводы статей (Milewski) Моноидальные катаморфизмы, Взвешенные копределы, Теорема Фрейда о сопряженном функторе, Дефункционализация и теорема Фрейда
- 2020-04-16 Публикация: перевод статьи Инициальная алгебра как направленный копредел (Milewski)
- 2020-03-04 Публикация: перевод статьи Математика — это ваш страховой полис (Milewski)
- 2020-02-17 Публикация: перевод статьи Профункторная оптика: модульные средства доступа к данным (Gibbons-Pickering-Wu)
- 2020-02-06 Публикация: перевод статьи Аппликативное программирование с эффектами (McBride-Paterson)
- 2019-12-23 Публикация: перевод статьи Неподвижные точки и диагональный метод (Milewski)
- 2019-12-19 Публикация: перевод статьи Расслоения, расщепления и линзы (Milewski)
- 2019-12-18 Публикация: перевод статьи Мощь сопряжений (Milewski)
- 2019-12-10 Публикация: перевод статьи Фильтрованные копределы (Milewski)
- 2019-12-09 Публикация: перевод статьи Программирование с использованием универсальных конструкций (Milewski)
- 2019-11-14 Публикация: перевод статьи Промонады, стрелки и нотация Эйнштейна для профункторов (Milewski)
- 2019-10-28 Публикация: перевод книги Семь эскизов о композиционности (Fong-Spivak)
- 2019-05-27 Публикация: перевод статьи Свободные моноидальные функторы и профункторы (Milewski)
- 2019-03-29 Публикация: перевод руководства Стандарт языка Haskell 2010 (Marlow)
- 2019-02-06 Публикация: перевод книги Введение в теорию категорий, ориентированное на языки программирования (Curien)
- 2019-01-04 Публикация: перевод статьи Топология и теория высших категорий (Leinster)
- 2018-10-12 Публикация: перевод статьи Свободный моноид из свободной алгебры (Milewski)
- 2018-10-02 Публикация: переводы статей (Milewski) Профункторы как отношения, Профункторный полиморфизм, Профункторная оптика
- 2018-08-30 Публикация: переводы статей Поточечные расширения Кана (Milewski) и Теория категорий в обозначениях струнных диаграмм (Marsden)
- 2018-08-16 Публикация: перевод статьи Алгебраические базы данных (Spivak)
- 2018-04-19 Публикация: перевод 1-й части книги Гомотопическая теория типов
- 2018-01-08 Публикация: перевод статьи Универсальная коалгебра (Rutten)
- 2017-10-17 Публикация: перевод учебного пособия Лекции по теории категорий (Turi)
- 2017-09-17 Публикация: перевод книги Теория категорий для программистов (Milewski)