Занятие понравилось.
Мотивация понятна. Изложение интересное.
Правда, я ничего не понимаю, но я уверен, что нужно накопить какой-то набор понятий в течение курса и рано или поздно, пазл сложится.
Илья, спасибо Вам, интересный заход в математику со стороны теории категорий.
Георгий