- 767 名前：１３２人目の素数さん [2008/12/10(水) 12:44:37 ]
- ありがとうございます。
> それも言うなら「原像と像との組の軌跡」だろうが、そもそも
> グラフ違いじゃウ゛ォケェ
そうでした。
>>>761
>> という事は何らかの対象がGがあってO=Ob(G)となっているのですよね。
> ここでの Ob の定義は何？対象を引数に取るの？
対象の集まりだそうです。で対象とは何ですか?
と先生に尋ねたら「知らん。とにかく考えてる事柄の事」
>>>762
>> 自分から自分への射,a->aとかは考えないのでしょうか?
> 有限グラフなら考えない（流儀による）．
> 圏なら id: O → A が定義できないといけないので必須．
>> そしてA=Mor(C,D)
> ここでの Mor の定義は何？
対象の集まりCから対象の集まりDへの写像(写像は集合内での用語)とは呼べないので射の事だと思います。
「では射とは何ですか?」と尋ねたら「うるさい、兎に角射と覚えとけ!」でした。
もしかして定義するのが大変なのですか?
圏論の基礎のp7もメタグラフ,対象,射の定義らしきものは載ってません。
この本は予め予備知識が必要なのでしょうか?
|
 |
