Репозиторий спецсеминара КТ ИТМО, весна 2022/2023 учебного года, по категорной логике. Литература: Lambek J., Scott P.J. Introduction to Higher Order Categorical Logic Голдблатт Р. - Топосы. Категорный анализ логики Темы докладов: Категории, функторы Естественные преобразования