Webストーンの圏は最初からコンパクト閉圏

Int構成とかしなくても、Webストーン圏は、メッセージ型がリクエストかレスポンスかの区別が極性で、その極性に関して最初からdom/codは極性付きになっている。つまり、Int構成が既に終わってる。あとはアブラムスキー流のタスキがけ対話結合を定義すればいいだけ。

リクエストかレスポンスでもない内部データはどうするか？というと、極性が中性のポートを考えて、そのポートから入出力すればいいのだろう。つまり、方向（通常は上下方向）、境界、三極性を持つ箱を考えればいい。