圏論 / カテゴリー論 / Category Theory 3
■ このスレッドは過去ログ倉庫に格納されています
0767132人目の素数さん
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もメタグラフ,対象,射の定義らしきものは載ってません。
この本は予め予備知識が必要なのでしょうか?
■ このスレッドは過去ログ倉庫に格納されています