自然変換の演算とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 自然変換の演算の意味・解説 

自然変換の演算

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/05/07 22:24 UTC 版)

自然変換」の記事における「自然変換の演算」の解説

η: F → G および ε: G → H を函手 F,G,H: C → D の間の自然変換とすると、これらを合成して自然変換 εη: F → H が得られる。これは成分ごと考えればよい((εη)X := εXηX)。この自然変換の「垂直合成」は結合的かつ単位元を持つ。故に C → D なるすべての函手集まりをそれ自体圏と見ることができる(後述函手圏節を参照)。 自然変換には「合成」も考えられる。η: F → G を函手 F,G: C → D 間の自然変換、ε: J → K を函手 J,K: D → E 間の自然変換とするとき、函手合成から自然変換合成 ηε: JFKG作れる。この演算もやはり結合的かつ単位元をもつ。またこの単位元は垂直合成における単位元一致する。即ち、この垂直合成合成という二つ演算共通する単位元通じて互いに関連を持つ。 η: F → G を函手 F,G: C → D 間の自然変換、H: D → E を別の函手とすると、自然変換 Hη: HFHG が ( H η ) X = H η X {\displaystyle (H\eta )_{X}=H\eta _{X}} と定めることにより得られる対称的に、K: B → C を函手として自然変換 ηK: FKGK が ( η K ) X = η K ( X ) {\displaystyle (\eta K)_{X}=\eta _{K(X)}} によって定まる

※この「自然変換の演算」の解説は、「自然変換」の解説の一部です。
「自然変換の演算」を含む「自然変換」の記事については、「自然変換」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「自然変換の演算」の関連用語

自然変換の演算のお隣キーワード
検索ランキング

   

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



自然変換の演算のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS