関手の表現としての極限とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 関手の表現としての極限の意味・解説 

関手の表現としての極限

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/06/07 14:21 UTC 版)

極限 (圏論)」の記事における「関手の表現としての極限」の解説

圏Cにおける極限余極限Hom関手によって集合の圏Setにおける極限関連付けることができる。このことは、部分的には、共変Hom関手Hom(N, –) : C → SetがCにおける極限保存することから導かれる双対性により、反変Hom関手余極限極限に写す。 図式F : J → CがCに極限 lim F を持つとすると、標準同型英語版H o m ( N , l i m F ) ≅ l i m H o m ( N , F − ) {\displaystyle \mathrm {Hom} (N,\mathrm {lim} F)\cong \mathrm {lim} \,\mathrm {Hom} (N,F-)} が存在し変数Nに関して自然である。ここで、関手Hom(N, F–)はHom関手Hom(N, –)とFの合成である。この同型極限錐の選び方から一意に決まる。 上の関係を使うことで、CにおけるFの極限定義することが可能である。まず、関手Hom(N, F–)の極限はNからFへのすべての錐の集合 l i m H o m ( N , F − ) = C o n e ( N , F ) . {\displaystyle \mathrm {lim} \,\mathrm {Hom} (N,F-)=\mathrm {Cone} (N,F).} と同一視することができること分かる写像の族πX : Cone(N, F) → Hom(N, FX)をπX(ψ) = ψXで定めると、極限錐を得る。Cの対象Lと自然同型Φ : Hom(–, L) → Cone(–, F)に対して、Lは極限錐がΦL(idL)であるFの極限である。格好良く書くと、Fの極限関手Cone(–, F) : C → Set表現であるということになる。 双対的に、図式F : J → CがCに余極限colim Fを持つとすると、標準同型 H o m ( c o l i m F , N ) ≅ l i m H o m ( F − , N ) {\displaystyle \mathrm {Hom} (\mathrm {colim} F,N)\cong \mathrm {lim} \,\mathrm {Hom} (F-,N)} が存在し変数Nに関して自然であり、余極限錐の選択から一意に決まる。Hom(F–, N)の極限集合Cocone(F, N)を同一視することにより、この関係から図式Fの余極限関手Cocone(F, –)の表現として定義することができる。

※この「関手の表現としての極限」の解説は、「極限 (圏論)」の解説の一部です。
「関手の表現としての極限」を含む「極限 (圏論)」の記事については、「極限 (圏論)」の概要を参照ください。

ウィキペディア小見出し辞書の「関手の表現としての極限」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「関手の表現としての極限」の関連用語

関手の表現としての極限のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



関手の表現としての極限のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの極限 (圏論) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS