Я редко пишу в этот канал в последнее время, потому что ежедневные наблюдения и находки окончательно переселились в @truly_part, а содержательные откровения на разные темы ещё дозревают. Но этой весной будет много материала для ultima ratio — со следующей недели я начинаю читать курс по теории категорий.

Цель курса — дать объемное, наполненное примерами, интуицией и связями с разными областями математики, введение в ключевые идеи. Такого, по-видимому, до сих пор нет в литературе. (Постаревшая книга Маклейна, похоже, часто пугает неопытного читателя и рискует сформировать у него ошибочное неприятное представление об этом прекрасном фундаментальном языке, пронизывающем многие разделы современной математики. Книжка Эмили Риел же в этом плане хороша как введение, но там только азбука). Курс также заполняет все пререквезиты к курсам высшей теории категорий и бесконечномерной гладкой геометрии, которые я планирую прочитать на летнем лектории в этом году.

Темы курса — после глубокого обсуждения основ языка (свойств категорий, функторов, пределов, эпи-моно систем факторизаций, сопряжений, монад, 2-категорий и т.п.), мы перейдем к богатым теориям, вращающимся вокруг классов живых категорий и систематически изучающих соответствующие части математической реальности.

Начнем с главной из них — теории локально представимых категорий (= категорий математических структур), а затем перейдем к её веткам: алгебраическим категориям и топосам.

Среди прочего, здесь будет про двойственность Габриэля-Улмера между синтаксисом и семантикой, про топосы как сеттинг для геометрии (в частности, топосы гладких пространств, являющиеся моделями синтетической дифференциальной геометрии), про внутренний язык категорий, про естественные свойства и структуры возникающие у определенных типов математических объектов (регулярные, точные, когерентные, экстенсивные, моноидальные, декартово-замкнутые..) и крутые связанные с ними импликации. Отдельное внимание будет уделено теории замкнутых моноидальных категорий, концептам возникающим в них и, конечно, (как и всюду в этом курсе) воплощениям этих узоров в живой математике (теория вероятности через марковские категории, квантовая информация через кинжальные категории).

Затем, иллюстрируя развитый язык и технику, мы обсудим ряд важных и/или красивых сюжетов из классических и современных работ (например, инициальные алгебры, фрактальные объекты в категориях, монады коплотности и двойственность Исбела и др.).

На протяжении курса, все не вошедшее в него, я буду параллельно рассказывать здесь. Будут листочки с упражнениями и задачами, которые я могу принимать у желающих.

Интерактивные лекции предварительно планируются в 17:00 - 20:00 по средам в НМУ, трансляция в телемосте (ссылка в чате курса), записи на Higher geometry. Можете написать мне (куда угодно), чтобы добавиться на форум HG с чатом курса. Если вы хотите участвовать, но не можете в это время — напишите тоже, если многим окажется неудобно, то рассмотрим вместе другое время.