セール双対性
理論の起源は多変数複素関数論に関するセールの先の研究にある.アレクサンドル・グロタンディークの一般化において,セール双対性ははるかに広い設定における coherent 双対性(英語版)の一部となる.V が多様体のとき上の K の役割は一般のセール双対性では余接束の行列式束によってなされ,完全に一般には K は V の非特異性のなんらかの仮定なしではただ1つの層ではありえない.完全に一般的な定式化は導来圏と Ext 関手を使うことで,K が層の鎖複体,すなわち dualizing complex(英語版) によって表されることが可能となる.それにもかかわらず,定理の主張は recognisably セールのものである.