 | Денис Терешкин, Семинар "Локально представимые и достижимые категории" |
Локально представимые и достижимые категории.Телеграм-группа семинара для объявлений и обсуждений: t.me/LPAC_PDMI. Желающих участвовать просьба регистрироваться Примерно так же, как в алгебраической топологии нас обычно интересуют "хорошие" пространства — например, топологические многобразия или клеточные комплексы, или же в алгебраической геометрии нам приятнее работать со схемами конечного типа над полем или целыми числами, так же и в "алгебраической теории категорий" можно определить класс хорошо описываемых категорий, которые ведут себя намного лучше произвольных. Тем не менее, этот класс покрывает большое количество встречающихся "в жизни" категорий. Например, категория множеств, категория групп, категория Delta-порождённых топологических пространств, категория Банаховых пространств, 1-категория категорий... Этот класс — это класс локально представимых категорий. Для них верна, например, "наивная теорема о сопряжённом функторе": любой конепрерывный функтор между представимыми категориями является левым сопряженным. Они всегда имеют строгий функтор в Set. Неожиданным и приятным свойством является то, что любая такая категория является свободным пополнением малой категории относительно некоторого сорта копределов (двойственность Габриеля-Ульмера). Можно ослабить условия на существование (ко)пределов, оставив требование быть свободным пополнением, и получить понятие достижимой категории, который включает в себя уже почти любую "описуемую" категорию, и замкнут относительно всех lax пределов; например, категории полей, линейных порядков, мономорфизмов в локально представимой, любые Каруби-полные малые категории... Основные результаты и сюжеты, которые планируется обсудить: Литература Необходимые преререквизиты — свободное обращение с (ко)пределами и сопряжёнными функторами на уровне определений и базовых свойств. Будем рады участию любителей логики и её категорных аспектов, ценителей теории представлений (планируется секция приложений к представлениям конечномерных алгебр), и просто всех заинтересованных в теории категорий студентов и математиков. Группа для объявлений и обсуждений: t.me/LPAC_PDMI |