Спряжені функтори: відмінності між версіями

 

Неформально, функтори {{math|''F''}} і {{math|''G''}} є спряженими, якщо вони задовольняють співвідношенню <math>\mathrm {Hom} (F(X), Y) = \mathrm {Hom} (X, G(Y))</math>. Тоді {{math|''F''}} називається лівим спряженим функтором, а {{math|''G''}} — правим.