傾理論
さらに関手 F, G の制限は T {\displaystyle {\mathcal {T}}} と Y {\displaystyle {\mathcal {Y}}} との間の圏同値を与え、関手 F′, G′ の制限は F {\displaystyle {\mathcal {F}}} と X {\displaystyle {\mathcal {X}}} との間の圏同値を与える。(これらの圏同値は torsion pairs ( T , F ) {\displaystyle ({\mathcal {T}},{\mathcal {F}})} と ( X , Y ) {\displaystyle ({\mathcal {X}},{\mathcal {Y}})} の順序を入れ替えていることに注意。)