На первой лекции мы кратко зафиксировали тезисы, раскрытые выше, после чего говорили про

1) Универсумы и полиморфизм по универсумам
2) Четыре свойства функторов (инъективность и сюръективность | на объектах и на Hom-ах) и их сочетания как формализация понятий "свойство" и "структура"
3) Карту категорий и функторов, захватывающую основные понятия университетской математики
3*) Как бы могла выглядеть категорная карта математики?
4) Понятие алгебраической теории и соотв. алгебраических категорий
5) Первую интуицию естественного преобразования
6) Определение предела/копредела

По некоторым пунктам я хочу дать комментарии, но сейчас я устал писать и продолжу потом.

Удивительная запись прилагается