25/11/06 01:16:20.44 PuQ4Gk5G.net
>>313
>圏論のロジック（矢印図）
って
可換図式のこと？
>（例えば P15 "6.3. Duality and derived categories."とかね。にあるのは可換図式だけど
>なお 集合の論理式も P11辺りに 出てくるけどね）
集合の論理式って何のこと？ていうか何でこれらだけを取り上げてるの？
「ここにあるのは有り難いことこの上ない圏論のロジックで矢印図と呼ばれるのじゃ
集合の論理式よりずっと高尚なものなのじゃ」
みたいなことを言いたいの？
>どうも、読めなさそうに見えるけどよ どうなの？ｗｗｗ
このwwwってどういう気分で書いてるのかな？