论文部分内容阅读
研究了Domain理论中的事件结构及其对应的domain结构,证明了事件结构生成的L-事件domain恰好是具有性质(ζ)的代数L-domain.特别地,本文通过稳定事件生成的事件domain,证明了以线性映射为态射、以DI-domain为对象的范畴是以稳定映射为态射、以具有性质(ζ)的代数L-domain为对象的范畴的反射子范畴.