- 762 名前：１３２人目の素数さん [2008/12/08(月) 12:42:47 ]
- > このとき，O, A はそれぞれ
> O = {a, b, c}，
> A = {f: a->b, g: b->c, h: c->a}．
自分から自分への射,a->aとかは考えないのでしょうか?
> になる．dom f = a, cod f = b など．
> 合成可能対は { (g,f), (h,g), (f,h) }
すいません。いまいちよく分かりません。
A×_o Aの定義は{<g,f>;f,g∈Aかつdomg=codf}となっていて
dom:A→O, cod:A→O となっていますよね。そしてA=Mor(C,D)
するとdomA=C,codA=Dですよね。そしてこれら像はOに属する。。。
A=Mor(C,D)と考えるのではなくてO=Ob(G)というGという性質(?)の集まりで
O={a,b,c,d}とするとAはOで考えられる射の集まりなので
A={Mor(x,y);(x,y)∈O×O}と書けるのですね。
よって A={f_1:a->b,f_2:a->c,f_3:a->d,f_4:b->a,f_5:b->c,f_6:b->d,f_7:c->a,f_8:c->b,f_9:c->d,f_10:d->a,f_11:d->b,f_12:d->c}となるのですね。
それで合成可能対はdomの像とcodの像か一致しているものですよね。
{<f_1,f_5>,<f_2,f_7>,…}という風にして探せれるのですね。
なんとなく分かってきました。
|
 |
