Теория категорий: от типов до свободных монад

Уважаемые студенты!

С 24 марта на базе Образовательного Центра Математики запускается курс по теории категорий: «Теория категорий: от типов до свободных монад».
Курс описывает все необходимые структуры, принадлежащие теории категорий, встречающиеся в промышленном программировании, математике и теоретической физике. На основе них будет совершенно погружение в гораздо более сложные структуры.
Курс рассчитан на студентов, обладающих базовыми знаниями в области линейной алгебры и/или опытом программирования на «популярных» языках программирования (с++, java, js и др.)

Преподаватель: Гилев Павел Андреевич.
Более подробную информацию можно найти на странице курса: http://mathdep.ifmo.ru/category_theory/.
Курс проводится в очно-дистанционном формате.
Для участия необходима предварительная регистрация.