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)
で与えられる.