米田、モナド、トポス (9ﾚｽ)
米田、モナド、トポス http://rio2016.5ch.net/test/read.cgi/math/1762905853/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
1: １３２人目の素数さん [] 2025/11/12(水) 09:04:13.63 ID:cVd8ELDl 普遍数学の構築 http://rio2016.5ch.net/test/read.cgi/math/1762905853/1
2: １３２人目の素数さん [] 2025/11/12(水) 09:11:44.89 ID:qWIzS0a0 馬鹿スレ http://rio2016.5ch.net/test/read.cgi/math/1762905853/2
3: １３２人目の素数さん [] 2025/11/12(水) 13:00:20.85 ID:cVd8ELDl 米田モナド 米田トポス http://rio2016.5ch.net/test/read.cgi/math/1762905853/3
4: １３２人目の素数さん [sage] 2025/11/12(水) 13:15:11.42 ID:5OAZmvB3 ( ´∀｀) http://rio2016.5ch.net/test/read.cgi/math/1762905853/4
5: １３２人目の素数さん [] 2025/11/13(木) 07:39:28.53 ID:wzgdp2kp ムスペモ http://rio2016.5ch.net/test/read.cgi/math/1762905853/5
6: １３２人目の素数さん [] 2025/11/13(木) 08:21:02.68 ID:WQzCu6h8 【北海道初出店】“一人の婚活より、仲人と二人三脚で。”結婚相談所 「ムスベル札幌店」が11/1（土）オープン！ http://rio2016.5ch.net/test/read.cgi/math/1762905853/6
7: １３２人目の素数さん [] 2025/11/13(木) 17:50:25.86 ID:j0WINteV >>3 関西芸人か http://rio2016.5ch.net/test/read.cgi/math/1762905853/7
8: １３２人目の素数さん [] 2025/11/14(金) 04:13:06.47 ID:0MK8UGc9 Nat(Hom(-, Z), F) ～ F(Z) http://rio2016.5ch.net/test/read.cgi/math/1762905853/8
9: １３２人目の素数さん [] 2025/11/14(金) 10:34:57.33 ID:i6Jx3xEG 共変関手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) で与えられる. http://rio2016.5ch.net/test/read.cgi/math/1762905853/9
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.004s