首页 | 本学科首页   官方微博 | 高级检索  
     检索      

一类Domain范畴及其笛卡儿闭子范畴
引用本文:张奇业,樊磊,郑崇友.一类Domain范畴及其笛卡儿闭子范畴[J].数学学报,2001,44(5):823-828.
作者姓名:张奇业  樊磊  郑崇友
作者单位:首都师范大学数学系
基金项目:国家自然科学基金资助项目(19971059)
摘    要:本文给出一类新的 Domain范畴 AlgD■(即以代数 Domain为对象,保逼近序的Scott连续函数为态射的范畴)及其满子范畴AlgD■(即以有底(最小元)的代数Domain为对象,保逼近序的Scott连续函数为态射的范畴),并且讨论它们的极大的笛卡儿闭的满子范畴.

关 键 词:Domain  范畴  逼近序  拓扑
文章编号:0583-1431(2001)05-0823-06
修稿时间:1998年11月5日

A Kind of Category for Domains and Its Maximal Cartesian Closed Subcategories
ZHANG Qi Ye,FAN Lei,ZHENG Chong You.A Kind of Category for Domains and Its Maximal Cartesian Closed Subcategories[J].Acta Mathematica Sinica,2001,44(5):823-828.
Authors:ZHANG Qi Ye  FAN Lei  ZHENG Chong You
Institution:ZHANG Qi Ye, FAN Lei, ZHENG Chong You (Department of Mathematics, Capital Normal University, Beijing 100037, P. R. China)
Abstract:In this paper, we constructed a new category of domains-the category AlgD of algebraic domains and Scott continuous functions of approximation-order- preserving (or way-below-relation-preserving); and its full subcategory AlgD, the category of pointed algebraic domains and Scott continuous functions of approximation- order-preserving. We showed that these categories are not Cartesian closed in general, and then determined the maximal Cartesian closed full subcategories of these cate-gories.
Keywords:Domain  Category  Approximation-order  Topology  
本文献已被 CNKI 万方数据 等数据库收录!
点击此处可从《数学学报》浏览原始摘要信息
点击此处可从《数学学报》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号