代数的局部完备集范畴和FS-局部dcpo范畴的笛卡儿闭性  

Cartesian Closeness of the Categories of Algbraic Local Complete Posets and Posets FS-Local Directed Complete Posets

作　　者：徐爱军[1] 王戈平[1] 

机构地区：[1]徐州师范大学数学系,徐州江苏221116

出　　处：《数学进展》2006年第4期485-492,共8页Advances in Mathematics（China）

基　　金：国家自然科学基金(No.10371079).

摘　　要：本文引入了代数的局部完备集,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.

关 键 词：局部完备集 FS-局部dcpo 局部稳定映射 笛卡儿闭范畴 

分 类 号：O189.1[理学—数学] O153.1[理学—基础数学]