Лекция 5. Сопряжённые функторы. Сопряжённость функторов тензорного произведения и Hom
- 00:16Теорема Фрейда-Митчелла
- 09:34Сопряженные функторы и естественное преобразование функторов
- 18:33Пример естественного преобразования
- 23:20Продолжение определения сопряженных функторов
- 26:30Свойства правого и левого сопряженных функторов
- 29:04Пример сопряженных функторов из категории левых модулей над ассоциативным коммутативным кольцом с единицей в себя
- 36:06В случае необязательно коммутативного кольца функтор умножения справа на левый R-модуль - левый сопряженный
- 43:05В случае необязательно коммутативного кольца функтор Hom - правый сопряженный
- 48:00Предложение (для любого правого R-модуля функтор умножения на него слева точен справа)
- 52:22Предложение (Hom-функтор в абелевой категории точен слева)
- 55:42Предложение (контравариантный Hom-функтор в абелевой категории точен слева)
- 59:28Свободно-забывающее сопряжение
- 01:03:44Упражнение на тензорное произведение абелевых групп
- 01:04:21Проективный объект
- 01:08:41Определение проективного объекта через точность Hom-функтора
- 01:16:50Инъективный объект
- 01:19:55Определение инъективного объекта через точность Hom-функтора
- 01:22:11Предложение (характеризация проективных модулей над кольцами)
