中文摘要 | 第1-4页 |
英文摘要 | 第4-5页 |
符号说明 | 第5-7页 |
引言 | 第7-9页 |
第一章 代数L-domain的表示定理 | 第9-15页 |
·预备知识 | 第9-10页 |
·表示定理 | 第10-13页 |
·伪Scott拓扑与Sober化 | 第13-14页 |
·代数L-domain范畴的反射性质 | 第14-15页 |
第二章 相容代数L-domain | 第15-19页 |
·相容代数L-domain的定向完备化 | 第15-16页 |
·刻化定理 | 第16-19页 |
第三章 L-cusl范畴与代数L-domain范畴的等价性 | 第19-30页 |
·L-cusl嵌入与子L-cusl | 第19-20页 |
·Domain上的投射对 | 第20-23页 |
·子代数L-domain与投射对 | 第23-26页 |
·范畴LCusl~*与ALDom~*的等价性 | 第26-30页 |
参考文献 | 第30-32页 |
致谢 | 第32页 |