[ ホームページ ] [ 携帯用URL ]
DS 数学 BBS
大学以上の内容は DS 数学 BBS・2(携帯電話用)へ。
数学以外の話題は赤猫雑談掲示板で。
注意事項, 記号の書き方例をお読みになった上でご利用ください。

[ EZBBS.NET | 新規作成 | ランキング | オプション ]
iモード&(絵文字)、au対応!ケータイからも返信できる無料掲示板!
名前
 E-mail 
題名
内容

投稿KEY    タグ有効 改行有効 等幅フォント
URL
 
掲示板のTOP | 過去ログ集 | 投稿練習 | よく質問される問題 | エッセイblog



805.ベーシック圏論  随伴  
名前:名無し    日付:2020年5月7日(木) 1時29分
随伴の話です.

Fが左随伴関手,Gが右随伴関手とします.
つまり,Hom(F(A),B) , Hom(A,G(B)) が転置という操作で移りあえます.
ここで,Hom(F(A),B)の合成可能な二つの射について
合成してから転置をとる操作と,転置をとってから合成する操作は一致するはずなのですが,どうやって示せばいいのでしょうか?

随伴の定義はいろいろありますが,
ここではベーシック圏論の2.1.1を見るか
https://ja.wikipedia.org/wiki/随伴関手 の冒頭にある定義(これは2.1.1と同じ定義)としてください.

随伴の定義から自然に従うものだと思うのですが,示せませんでした.
(一応言及すると,ベーシック圏論p60の訳注「本当に自然変換になっていることを各自で確認せよ」のところを示そうとしています.)
119-231-170-79f1.shg1.eonet.ne.jp (119.231.170.79)
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_12_6) AppleWebKit/605.1.15 (KHTML, like Gecko) Version/12.1.2 Safari/605.1.15


「805.ベーシック圏論  随伴」への返信

無料アクセス解析

アクセス解析の決定版!無料レンタルで最大100ページ解析!

公序良俗に反する投稿は無予告削除対象です。
   投稿KEY
   パスワード

EZBBS.NET produced by InsideWeb