Что мы сегодня обсудим:
• Инициальные и терминальные объекты.
• Мономорфизмы и эпиморфизмы, .
• Естественные преобразования (revisited), вычисление хом-сетов естественных преобразований.
• Основная теорема теории категорий.
• Принцип эквивалентности.
• Расширения Кана.
• Пределы и копределы диаграмм: примеры и общий формализм.
9 сентября, среда
19:00 CEST/UTC+2 (20:00 MSK)
Онлайн, вход свободный
Ссылка на зум на странице курса