排序方式： 共有1条查询结果，搜索用时 15 毫秒
1
1.
代数L-domain的表示定理及其相关范畴性质 总被引：1，自引：0，他引：1
引人局部条件并半格(简记为L-cusl)及其理想完备化等概念．证明了：任一代数L-domain的紧元集是L-cusl，任一代数L-domain是其紧元集赋予A1exandrov拓扑时的Sober化；任一L-cusl的理想完备化是代数L-domain，从而得到了代数L-domain的表示定理．还证明了Scott连续映射为态射的代数L-domain范畴为L-cusl与单调映射作成的范畴的反射于范畴． 相似文献
1