Сопряженные функторы

Цель моей курсовой работы рассмотреть основные понятия, теоремы сопряженных функторов.Я расскажу о фундаментальной идеи пары сопряженных функторов.Поскольку существует универсальная стрелка, то функтор сопряжен слева к .Отсюда следует, что функтор сопряжен слева к .Двойственно, подкатегория корефлективна в В, если функтор вложения имеет правый сопряженный.Рассмотрела композицию сопряженных функторов, доказала предложение о расширении Кана.Рассмотрела метод построения сопряженных функторов, теорему о рефлексивных подкатегориях.Определение и свойства сопряженных функторов.Доказательство. Будем использовать тот факт, что если существуют пары сопряженных функторов.Композиция сопряженных функторов.