25/11/07 07:47:30.49 Wa1lajrV.net
それと
>>313
>圏論のロジック（矢印図）読めるのか？ キミはｗｗ （＾＾；
圏論のロジックとは
射を矢印で表した図式のことですね？
しかし
>いまどきは
>圏論のロジック（矢印図）の方が重要だと思うよ
>（例えば P15 "6.3. Duality and derived categories."とかね。なお 集合の論理式も P11辺りに 出てくるけどね）
「圏論のロジック（矢印図）」が「集合の論理式」より重要な訳は何なんでしょう？
これもどこかに書かれていたのでしょうか？
あるいはあなた独自の解釈？