キャット⊆コム
コンピュータッドの圏を単にCom(コム)と書くことにする。n-圏のn-構造を忘れて、(n-1)-構造をそのままにして忘却関手 V:n-Cat→n-Com が定義できる。この忘却関手を使うと、
- n-Cat⊆n-Com
とみなせる。これは、モデル論も含めてすべてコムのなかで出来ることを意味する。
課題は、コンピュータッド、構文モナド(のクライスリ圏)、インスティチューション(のグロタンディーク平坦化)との関係だろう。
それと、指標の圏=コンピュータッドの圏でいいだろうが、指標射は写像ではなくてコボルディズムだと思う。多様体のコボルディズムなんかとは比べ物にならないほどの柔軟で、すべてのコンピュータッドは一点(自明なコンピュータッド)へのコボルディズム=錐体を持つ。コボルディズムという言葉が適切かはあやしいけど。