Без заголовка

Здесь хорошие переводы на русский лекций и книг по теории категорий (для программистов тоже) и гомотопическую теорию типов.