⭐ Теория категорий: запись

Наконец, готова запись и слайды первой лекции курса по теории категорий

Я успел заметно меньше задуманного — больше половины материала осталась на следующий раз. Почти вся лекция ушла на теорию комбинаторных видов. Мне показалась, что это очень естественная мотивация категоричных понятий

🔵 Что такое комбинаторные виды?

Это язык, на котором удобнее формулировать задачи перечислительной комбинаторики. Школьное требование «предъявить красивую биекцию» получает в нём точный смысл — построить изоморфизм видов

На самом деле, виды это функторы, а их изоморфизмы — естественные преобразования. На лекции мы начали с видов, а категорные определения появились в самом конце, когда мы видели примеры уже много раз

Такое введение в теорию категорий — не самое стандартное. Если вы знаете хорошие мотивированные изложения категорий "с нуля" напишите в комментариях! Там же можно задавать любые вопросы по лекции

😱 Лекция шла 4 (!) часа, включая масштабное обсуждение после основной части. Его на записи нет, и вообще сам рассказ получился достаточно сумбурным — к сожалению, это частая проблема первой лекций, когда не понятна аудитория и скорость, с которой надо рассказывать.
Но я сильно переделал слайды, обязательно посмотрите, если было что-то непонятно

Запись · Слайды (html, pdf)