茎 (数学)
ある圏 C に対しては茎を定義するのに使われる直極限が存在しないかもしれない.しかしながら,実際に現れるほとんどの圏に対しては存在する,例えば集合の圏や,アーベル群や環のような代数的対象のほとんどの圏で,それらはすなわち余完備(英語版)である.
x を含む任意の開集合 U に対して自然な射 F(U) → Fx が存在する:それは F(U) における切断 s をその芽 (germ), すなわち直極限におけるその同値類に送る.これは芽の通常の概念の一般化であり,X 上の連続関数の層の茎を見ることで復元できる.