Теория категорий: от типов до свободных монад
Преподаватель: Гилев Павел Андреевич.
Расписание занятий: среда, 17:00
Место проведения: ауд.409, Кронверкский пр. 49
Канал в telegram
Старт курса 24 марта
Курс описывает структуры, принадлежащие теории категорий, встречающиеся в программировании, математике и теоретической физике. Теория категорий в целом является интересным инструментом, позволяющим описывать процессы, происходящие как в математических доказательствах, так и в математических конструкциях. Типы в свою очередь являются примером объекта, существующего как в прикладной области(программирование), так и в научной(математика). На основе них будет совершенно погружение в гораздо более сложные структуры.
Курс рассчитан на студентов, обладающих базовыми знаниями в области линейной алгебры и/или опытом программирования на «популярных» языках программирования (с++, java, js и др.)
| Дата | Название лекции |
| 24.03.2021 | Типы, функции, множества. |
| 31.03.2021 | Категории большие и маленькие. Функторы. Бифункторы. Профункторы. |
| 07.04.2021 | Алгебраические операции над алгебраическими типами данных. Изоморфизм Гарри-Ховарда. |
| 14.04.2021 | Пределы и копределы. |
| 21.04.2021 | Монады и комонады. Свободные структуры данных. |
| 28.04.2021 | F-алгебры. Катаморфизмы. |
Для участия в курсе, пожалуйста, заполните форму регистрации.
[contact-form-7 404 "Не найдено"]