>>372
そうすると、圏論的意味論と圏論的領域理論は同じと思っていいんですね?