米田、モナド、トポスat MATH米田、モナド、トポス - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1:１３２人目の素数さん 25/11/12 09:04:13.63 cVd8ELDl.net 普遍数学の構築 2:１３２人目の素数さん 25/11/12 09:11:44.89 qWIzS0a0.net 馬鹿スレ 3:１３２人目の素数さん 25/11/12 13:00:20.85 cVd8ELDl.net 米田モナド 米田トポス 4:１３２人目の素数さん 25/11/12 13:15:11.42 5OAZmvB3.net ( ´∀｀) 5:１３２人目の素数さん 25/11/13 07:39:28.53 wzgdp2kp.net ムスペモ 6:１３２人目の素数さん 25/11/13 08:21:02.68 WQzCu6h8.net 【北海道初出店】“一人の婚活より、仲人と二人三脚で。”結婚相談所 「ムスベル札幌店」が11/1（土）オープン！ 7:１３２人目の素数さん 25/11/13 17:50:25.86 j0WINteV.net >>3 関西芸人か 8:１３２人目の素数さん 25/11/14 04:13:06.47 0MK8UGc9.net Nat(Hom(-, Z), F) ～ F(Z) 9:１３２人目の素数さん 25/11/14 10:34:57.33 i6Jx3xEG.net 共変関手F: C --> (Set)に対して, Nat(Hom(A, -), F) ～ F(A). Fとして忘却関手Uを取ると, Nat(Hom(A, -), U) ～ A. これすなわち、任意の対象X, Yと射f∈Hom(X, Y)に対して, τ_X Hom(A, X) --> X ↓ ↓f Hom(A, Y) --> Y τ_Y が可換となる自然変換τは, Aと一対一対応するということ. その対応は, τ --> τ_A(id_A) で与えられる. 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch