加群の層
環付き空間 (X, O) が与えられ,F が O の O 部分加群であるとき,それは O のイデアルの層あるいはイデアル層(英語版)と呼ばれる,なぜならば X のすべての開部分集合 U に対し,F(U) は環 O(U) のイデアルであるからである.
X を n 次元の滑らかな代数多様体とすると,X の接層(英語版)は余接層(英語版) Ω X {\displaystyle \Omega _{X}} の双対であり,標準層 ω X {\displaystyle \omega _{X}} は Ω X {\displaystyle \Omega _{X}} の n 次外冪(行列式)である.