Từ điển

{\displaystyle \operatorname {H} ^{i}(X,-)} を大域切断関手（英語版） Γ ( X , − ) {\displaystyle \Gamma (X,-)} の i 次右導来関手として定義でき，実際そう定義する． 環付き空間 (X, O) が与えられ，F が O の O