====== Теория категорий в информатике и инженерии ======
=== Ковалев С.П., проф. Михалёв А.В. ===

**Когда**: вторник, 5 пара

**Где**: 13-11

----

Предлагается краткий (4 лекции) специальный курс по современным приложениям теории категорий. Курс подготовлен и читается совместно с Институтом проблем управления. Лекции будут проходить в рамках спецсеминара "Теоретическая информатика".