次を混同しない。 層・前層の順像と逆像、随伴ペア 加群の係数拡大と係数制限、随伴ペア バンドルの引き戻し ペアになってない インデックス付き圏とファイバー付き圏の同値によって次のような図式ができる。出てくる記号： 関数環 特定多様体上のセクション…

順像＝前送り は簡単 逆像＝引き戻し は難しい、極限を使ってさらに層化が必要。 逆像には、極限を使った右逆像と、余極限を使った左逆像がある。 右逆像は外からの近似、左逆像は内からの近似。 右逆像は順像の右随伴、左逆像は順像の左随伴。