Наконец, готова запись и слайды первой лекции курса по теории категорий
Я успел заметно меньше задуманного — больше половины материала осталась на следующий раз. Почти вся лекция ушла на теорию комбинаторных видов. Мне показалась, что это очень естественная мотивация категоричных понятий
🔵 Что такое комбинаторные виды?
Это язык, на котором удобнее формулировать задачи перечислительной комбинаторики. Школьное требование «предъявить красивую биекцию» получает в нём точный смысл — построить изоморфизм видов
На самом деле, виды это функторы, а их изоморфизмы — естественные преобразования. На лекции мы начали с видов, а категорные определения появились в самом конце, когда мы видели примеры уже много раз
Такое введение в теорию категорий — не самое стандартное. Если вы знаете хорошие мотивированные изложения категорий "с нуля" напишите в комментариях! Там же можно задавать любые вопросы по лекции
😱 Лекция шла 4 (!) часа, включая масштабное обсуждение после основной части. Его на записи нет, и вообще сам рассказ получился достаточно сумбурным — к сожалению, это частая проблема первой лекций, когда не понятна аудитория и скорость, с которой надо рассказывать.
Но я сильно переделал слайды, обязательно посмотрите, если было что-то непонятно
Запись · Слайды (html, pdf)