2013-10-01から1日間の記事一覧

neighborhood sheaf semantics 補足

http://lkozima.hatenablog.com/entries/2013/09/30 細かい計算をまったく追いかけてないので MC より弱いところではなんでできないのかよくわかってない。 のところ,計算してみたらわかった気がした。たぶん の健全性のところで使うのではないかと。もうち…