CafeOBJで、タイト意味論とルーズ意味論という言葉を使っていたが、いまいちハッキリしないので、次の3種に分ける。 ホール〈whole | 全体〉意味論 始対象意味論 終対象意味論 Σが指標のとき、〚Σ〛をどうするか、という話。これをハッキリさせないで指標の…

指標の圏が有限余完備であることが本質的。ただし、非モノイド的なので、モノイド積は定義できない。非モノイド的有限余完備圏。それと、ゴグエンのいうinclusiveで、やせた部分圏としてinclusionが定義されている。双対的にはprojectionだが、inclusioinと…