| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 1 引言 | 第7-8页 |
| 2 基本概念和基本知识 | 第8-14页 |
| ·范畴 | 第8-10页 |
| ·函子和不动点 | 第9页 |
| ·笛卡儿闭范畴 | 第9-10页 |
| ·范畴的等价 | 第10页 |
| ·偏序集,拟序集与ω—cpo | 第10-12页 |
| ·观察结构和观察系统 | 第12-13页 |
| ·观察系统的可离性和完备性 | 第13页 |
| ·代数和余代数 | 第13-14页 |
| 3 ω-cpo观察结构和观察系统 | 第14-16页 |
| 4 ω-cpo观察结构范畴的笛卡儿闭性 | 第16-18页 |
| 5 ω-cpo观察系统的可离性和完备性 | 第18-23页 |
| 6 逼近函子的不动点定理 | 第23-26页 |
| 参考文献 | 第26-27页 |
| 致谢 | 第27页 |