>>369
強引に言ってしまえば、
圏論的意味論＝シンタクスを圏論の言葉に直したもの
圏論的にされた領域理論＝セマンティクスを圏論の言葉に直したもの
ってところかな。
ただしシンタクスとセマンティクスは数理論理学的な意味でね。