Частично сопряженные частично определенные производные функторы

Пусть H -- категория, S -- локализующий класс морфизмов в H (удовлетворяющий условиям Оре), K -- другая категория, F: H → K -- функтор. Мы хотим построить, скажем, левый производный функтор LF функтора F относительно локализующего класса S, который бы действовал из H[S⁻¹] в K. Следуя Делиню, будем говорить, что LF определен на объекте X категории H[S⁻¹], если существует морфизм Y → X в H, принадлежащий S, такой что для любого морфизма Z → Y в H, принадлежащего S, найдется морфизм W → Z в H, принадлежащий S, такой что морфизм F(W→Y) является изоморфизмом в K. В этом случае, положим LF(X) = F(Y).

Другими словами: из условий Оре следует, что категория всех морфизмов в объект X в категории H, принадлежащих S, является направленной. Объектом LF(X) называется проективный предел F(Y) по всем морфизмам Y→X, принадлежащим S, если этот предел стабилизируется на конфинальной подкатегории (в противном случае, LF(X) существует как про-объект, но не как настоящий объект в K).

Теперь предположим, что у нас имеются категории H' и H'' с локализующими классами S' и S'', и пара сопряженных функторов F: H'→H'' и G: H''→H' (F сопряжен слева, а G справа). Нас интересуют производные функторы композиций F и G с функторами локализации H'' → H''[S''⁻¹] и H' → H'[S'⁻¹]; в порядке вольности речи, будем называть их просто производными функторами F и G и обозначать LF и RG. Так вот, частично определенные функторы LF и RG между категориями H'[S'⁻¹] и H''[S''⁻¹] сопряжены на тех объектах, на которых они определены, т.е. имеются естественные биекции

Mor_{H''[S''⁻¹]}(LF(X),Y) = Mor_H'[S'⁻¹](X,RG(Y))

для всех X из H'[S'⁻¹] и Y из H''[S''⁻¹], таких что LF(X) и RG(Y) определены (как объекты H''[S''⁻¹] и H'[S'⁻¹]). В самом деле, оба множества суть индуктивные пределы множеств Hom_H''(FZ,W) = Hom_H'(Z,GW) по всем морфизмам Z→X, принадлежащим S', и Y→W, принадлежащим S''.