>>370
シンタクスとセマンティクスがトポスを通じて対応することから考えると、
圏論的意味論と圏論的領域理論は本質的には同じものかな、と思いました。