3 什么是一本好的分类理论-领域理论词典？ 当与域理论分类处理（CPO说和 CPO），我经常想的字典范畴论域理论的语言。ωω\omega 也就是说，给定一个概念，例如单向箭头，我可以在字典中查找它，看看它在不同领域类别中的已知特征是什么。 我意识到这个愿望实在是太值得期待了，但是是否有任何文字或资源可以近似呢？ 10 ct.category-theory semantics denotational-semantics domain-theory