>>489 補足
https://www.youtube.com/watch?v=1HLMybWdBJA
Direct Limit
Harpreet Bedi2017/04/06 に公開
コメント
沈嘉?1 年前
I had trouble in understanding the equivalence of defining a stalk at a point through direct limit and through germs . Now I get it! Thank you!”

この動画、わずか11分だが
4:10辺り(下記)に、茎・芽の説明が出てくる
(”in understanding the equivalence of defining a stalk at a point through direct limit and through germs ”)
これいいね(^^
https://youtu.be/1HLMybWdBJA?t=250

(参考)
https://ja.wikipedia.org/wiki/%E5%B8%B0%E7%B4%8D%E6%A5%B5%E9%99%90
帰納極限
(抜粋)
数学における順極限(じゅんきょくげん)または直極限(ちょくきょくげん、英: direct limit)もしくは帰納極限(きのうきょくげん、英: inductive limit)は、「対象の向き付けられた族」の余極限である。
本項ではまず群や加群などの代数系に対する帰納極限の定義から始めて、あらためて任意の圏において通用する一般的な定義を与える。
目次
1 厳密な定義
2 例

・Ai を長さiの有限数列全体からなる集合、fij (i<=j) を数列の後ろに0をj-i項付け加える写像とすると、その帰納極限は、有限項を除いて0であるような数列全体の集合となる。
・添字集合 I が有向集合で最大元 m を持つならば、そのような任意の直系の直極限はXm に同型であり、標準射 φm: Xm → X は同型となる。
・p を素数とすると、群の族 Z/pnZ および p を掛けることで誘導される準同型の族 Z/pnZ → Z/pn+1Z での組は帰納系を成す。この帰納系の帰納極限は、p の適当な冪を位数とするような 1 の冪根の全体からなる。これをプリューファー群 Z(p∞) という。
・F を位相空間 X 上の C-値層とする。X の点 x を固定して、x の開近傍の全体は包含関係を逆にする順序によって(つまり U <= V ←→ U ⊇ V とおいて)有向半順序集合を成す。このとき、r を制限写像とする直系 (F(U), rU,V) が得られ、この系の直極限は x における F の茎 Fx と呼ばれる。
x の各近傍 U に対して標準射 F(U) → Fx は F の U 上の切断 s を茎 Fx の元 sx へ対応させる。元 sx は切断 s の x における芽と呼ばれる。