米田、モナド、トポス (9ﾚｽ)
上下前次1-新

---

1: 11/12(水)09:04 ID:cVd8ELDl(1/2) AAS
普遍数学の構築

---

2: 11/12(水)09:11 ID:qWIzS0a0(1) AAS
馬鹿スレ

---

3(1): 11/12(水)13:00 ID:cVd8ELDl(2/2) AAS
米田モナド

米田トポス

---

4: 11/12(水)13:15 ID:5OAZmvB3(1) AAS
( ´∀｀)

---

5: 11/13(木)07:39 ID:wzgdp2kp(1) AAS
ムスペモ

---

6: 11/13(木)08:21 ID:WQzCu6h8(1) AAS
【北海道初出店】“一人の婚活より、仲人と二人三脚で。”結婚相談所 「ムスベル札幌店」が11/1（土）オープン！

---

7: 11/13(木)17:50 ID:j0WINteV(1) AAS
>>3
関西芸人か

---

8: 11/14(金)04:13 ID:0MK8UGc9(1) AAS
Nat(Hom(-, Z), F) ～ F(Z)

---

9: 11/14(金)10:34 ID:i6Jx3xEG(1) AAS
共変関手F: C --> (Set)に対して,

Nat(Hom(A, -), F) ～ F(A).

Fとして忘却関手Uを取ると,

Nat(Hom(A, -), U) ～ A.

これすなわち、任意の対象X, Yと射f∈Hom(X, Y)に対して,
省9

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.247s*