摘要
本文引入了代数的局部完备集,FS-局部dcpo,局部稳定映射等概念．主要结果是：以局部Scott连续映射为态射的代数的局部完备集范畴,以局部稳定映射为态射的代数的局部完备集范畴以及以局部Scott连续映射为态射的FS-局部dcpo范畴都是笛卡儿闭范畴．
We introduce the concepts of algebraic local complete poset, FS-local directed complete poser and local stable funtion. We prove that having continuous functions as morphisms the category of algbraic local complete posers, stable functions as morphisms the category of algbraic local complete posers and continuous functions as morphisms the category of FS-local directed complete posers are Cartesian closed.
出处
《数学进展》
CSCD
北大核心
2006年第4期485-492,共8页
Advances in Mathematics（China）
基金
国家自然科学基金(No.10371079).
关键词
局部完备集
FS-局部dcpo
局部稳定映射
笛卡儿闭范畴
local complete poset
FS-local directed complete poset
local stable function
Cartesian closed category
