>>361
違う。圏論的意味論は、シンタックスそのままだけど、圏論の言葉にすることによって
セマンティクスを圏論的に構成するときにシンタックスそのままよりは目標が分かりやすくするためのもの。
領域理論は必ずしも圏論的にやる必要はない、いまは誰もが圏論的にやってしまうだろうが。