いまだにできなくて、昔のコードをみてたんですが...
Graphから、Positive Logicを作って、そのままはCCCにならない
なので、Setsへの Functorを書いて、Sets はCCCだから終了!
ってやってるのに気がつきました。そんなことやってたのか
いやさ、Setsへの Functor は、Setsの部分圏だから、CCCとは限らない
もし、それがCCCだとしても、それが普遍問題の解であることを示す必要がある
たぶん、そのFucntorをみながら、なんらかの等号を発明するんじゃなかろうか
ってわけで、まだ、先が長そう
No comments:
Post a Comment