Answers:
最好的资源是Abramsky和Jung的手册章节。我记得他们有一个表格，该表格交叉引用了域名的各种构造和类别，其中的条目说明了该构造是否在该类别中起作用以及其具有的属性。但是，箭头的特性（如单峰）往往没有非常光滑的特征，因为平面域的可用性往往可以确保它们通常与集合论对应物没有很大不同。OTOH，一些利用顺序结构的属性（例如作为嵌入投影对）往往具有相当漂亮的特征。
需要注意的一个小问题是，实际上有两种常用的CPO定义！领域理论的消费者（像我一样）通常更喜欢使用omega链，因为链是非常具体的对象。而领域理论的产生者（例如er，您的顾问）则倾向于使用有向集，后者更通用且具有更好的代数性质。（暂时，我不确定限于具有可数基数的有向集是否等同于欧米茄链条件。）
我发现构建此类词典非常有帮助的事情是，在并非完全属于领域的某些类别的事物中解决递归域方程的问题。两个很好的选择是PER的类别（例如，在多态模型中）和预滑轮（例如，用于名称分配）。度量空间是另一种可能性，但是我发现它们与域太相似，无法帮助我建立直觉。
我不确定是否有一个。但是，有很多关于类别理论的好书，甚至还有更多套不同质量的讲义。维基百科在类别理论和领域理论方面也有很多可靠的信息。另一个不错的互联网资源是nCatLab，尽管它更多地涉及到高维类别理论。
S. Abramsky，A. Jung（1994）是一个很好的领域理论参考。“域论”。在S. Abramsky，DM Gabbay，TSE Maibaum的编辑中（PDF）。计算机科学逻辑手册。三，牛津大学出版社。ISBN 0-19-853762-X。
我实际上看过的有关类别理论的书籍有：
Awodey，Steve（2006）。类别理论（《牛津逻辑指南》 49）。牛津大学出版社。第2版，2010年。 最近的一个很好的介绍，倾向于计算机科学
巴尔，迈克尔；查尔斯·威尔斯（Charles Wells），“计算科学的分类理论”。很难获得，即无法从亚马逊获得
劳维尔，威廉；Schanuel，Steve（1997）。概念数学：类别的首次介绍。剑桥大学出版社。令人愉快的介绍，可能还不够深入
Mac Lane，桑德斯（1998）。在职数学家的类别。数学研究生课本5（第二版）。施普林格出版社。ISBN 0-387-98403-8。也许太数学了
皮尔斯，本杰明（1991）。计算机科学家的基本类别理论。麻省理工学院出版社。也许太基础了
泰勒·保罗（Taylor，Paul）（1999）。数学的实用基础。剑桥大学出版社。 相当全面；有逻辑的观点
其他书籍也可以在网上找到，例如Barr＆Well's的Toposes，Triples和Theories，以及JiriAdámek，Horst Herrlich和George E. Strecker的“ 抽象与具体类别–猫的欢乐”。这些可能包含您需要的所有定义，至少从类别理论的角度而言。
问问你的顾问怎么样？他发明了很大一部分领域理论。