Теория категорий, 6 курс, 4 семестр, 2016/17

Преподаватель -- Валерий Иванович Исаев

Лекции

Лекция 1. Определение категорий

Лекция 2. Конструкции в категориях

Лекция 3. Декартово замкнутые категории

Лекция 4. Пределы и копределы

Лекция 5. Функторы и естественные преобразования

Лекция 6. Сопряженные функторы

Лекция 7. Монады

Лекция 8. Категории предпучков

Лекция 9. Категориальная логика

Лекция 10. Кванторы и импликация

Лекция 11. Элементарные топосы

Практика

Практика 1

Практика 2

Практика 3

Практика 4

Практика 5

Практика 6

Практика 7

Практика 8

Практика 9

Практика 10