圏論 / カテゴリー論 / Category Theory 2

108 名前：１３２人目の素数さん mailto:sage [04/09/08 00:04] >>107 え？Aが始対象⇔Hom(A,B)が任意のBに対し１元集合 じゃないのか？>>89の問題は集合Iに対し圏C(I)をC(i,j)=1i (i=j) φ(i≠j) と定義したときCが任意の集合Iに対し関手Δ:C→fun(C(I),C) (Δ(X)i=X)が左右の随伴をもつが仮定なんだよな？

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef