Category Theory Learning Seminar

Семинар по изучению теории категорий

Работал с февраля 2011 по май 2012г.
Руководители семинара -- Марина Прохорова и Александр Попович.
Заседания семинара проходили на математико-механическом факультете УрГУ.

Топосы
25.05.2012. Топосы в логике - 2. (Николай Ковалев)
18.05.2012. Топосы в логике - 1. (Николай Ковалев)
11.05.2012. Топосы-3. (Александр Попович)
04.05.2012. Топосы-2. (Александр Попович)
27.04.2012. Топосы-1. (Александр Попович)

С.И. Гельфанд, Ю.И. Манин. Методы гомологической алгебры. Введение в когомологии и производные категории.
13.04.2012. Производные функторы. (Даниил Айзенштейн)
06.04.2012. Группы Ext. (Даниил Айзенштейн)
23.03.2012. Производная и гомотопическая категории. (Даниил Айзенштейн)
16.03.2012. Локализация. Производная категория абелевой категории. (Даниил Айзенштейн)
02.03.2012. Проективные и инъективные объекты. Проективные резольвенты. (Даниил Айзенштейн)

С.Маклейн "Категории для работающего математика".
24.02.2012. Абелевы категории. (Даниил Айзенштейн)
17.02.2012. Аддитивные категории. (Даниил Айзенштейн)
10.01.2012. Теорема Бека.(Александр Попович)
27.01.2012. Монады и алгебры. (Александр Попович)
20.01.2012. Монады и алгебры. (Александр Попович)
30.12.2011. Решётки, замыкание и моноидальные категории. (Александр Попович)
23.12.2011. Алгебры в моноидальной категории -- продолжение. (Николай Ковалёв)
16.12.2011. Алгебры в моноидальной категории. (Николай Ковалёв)
09.12.2011. Монады в категории. (Николай Ковалёв)
25.11.2011. Моноидальные категории. (Николай Ковалёв)
18.11.2011. Сопряжённые функторы в топологии. (Глеб Шептаев)
09.11.2011. Теорема Фрейда о сопряжённом функторе. (Глеб Шептаев)
27.10.2011. Пределы с параметрами. Сохранение пределов. (Глеб Шептаев)
20.10.2011. Связь пределов с произведениями и уравнителями. (Глеб Шептаев)
11.05.2011. Создание пределов. (Александр Попович)
04.05.2011. Сопряженные функторы -- окончание. (Вячеслав Шапрынский)
27.04.2011. Сопряженные функторы -- продолжение. (Вячеслав Шапрынский)
20.04.2011. Сопряженные функторы -- продолжение. (Вячеслав Шапрынский)
13.04.2011. Сопряженные функторы. (Вячеслав Шапрынский)
06.04.2011. Лемма Йонеды. (Даниил Айзенштейн)
30.03.2011. Универсальные конструкции в категориях. Категория запятой. Представимые функторы. (Максим Морнев)
23.03.2011. Произведение категорий. Категории функторов. Категория всех категорий. 2-категории. (Максим Морнев)
16.03.2011. Двойственность в категориях. (Александр Попович, Марина Прохорова)
09.03.2011. Естественные преобразования, эквивалентность категорий. Мономорфизмы, эпиморфизмы, начальные и терминальные объекты. (Александр Попович)
02.03.2011. Определение категории. Объекты, стрелки, функторы. (Александр Попович)