引入了相容 L Domain概念 ,给出了相容 L Domain的多种内部的和外部的刻画 ;利用 Scott拓扑定义了相容 L Domain的定向完备化 ,证明了相容 L Domain的定向完备化是 L Domain;考察了相容L Domain范畴 ,得知稳定映射为态射的相容 L Domai...引入了相容 L Domain概念 ,给出了相容 L Domain的多种内部的和外部的刻画 ;利用 Scott拓扑定义了相容 L Domain的定向完备化 ,证明了相容 L Domain的定向完备化是 L Domain;考察了相容L Domain范畴 ,得知稳定映射为态射的相容 L Domain范畴是 Cartesian闭范畴 ,证明了稳定映射为态射的 L Domain范畴为相容 L展开更多
文摘引入了相容 L Domain概念 ,给出了相容 L Domain的多种内部的和外部的刻画 ;利用 Scott拓扑定义了相容 L Domain的定向完备化 ,证明了相容 L Domain的定向完备化是 L Domain;考察了相容L Domain范畴 ,得知稳定映射为态射的相容 L Domain范畴是 Cartesian闭范畴 ,证明了稳定映射为态射的 L Domain范畴为相容 L
