| 顺序集合套的范畴OSEB |
| |
| 引用本文： | 袁学海,张成.顺序集合套的范畴OSEB[J].辽宁师范大学学报(自然科学版),1997,20(2):94-97. |
| |
| 作者姓名： | 袁学海 张成 |
| |
| 作者单位： | 辽宁师范大学数学系(袁学海)，大连大学数学系(张成) |
| |
| 基金项目： | 辽宁省教委高校科研项目 |
| |
| 摘 要： | 建立了顺序集合套的范畴ＯＳＥＢ，并证明了该范畴有平衡器，有限积，最终元，Ｅｘｐｏｎｅｎｔｉａｌｓ和Ｓｕｂｏｂｊｅｃｔｃｌａｓｓｉｆｉｅｒｓ等Ｔｏｐｏｓ性质．因此，范畴ＯＳＥＢ是一个Ｔｏｐｏｓ
|
| 关 键 词： | 集合套，顺序集合套，范畴，Topos |
CATEGORY OSEB OF THE ORDER SET EMBEDDINGS |
| |
| Yuan Xuehai,Zhang Cheng.CATEGORY OSEB OF THE ORDER SET EMBEDDINGS[J].Journal of Liaoning Normal University(Natural Science Edition),1997,20(2):94-97. |
| |
| Authors: | Yuan Xuehai Zhang Cheng |
| |
| Abstract: | In this paper, the category OSEB of the order set embeddings is built and it is proved that OSEB has topoi properties such as equalizers, finite products, terminal objects, exponentials and subobject classifiers and consequently category OSEB is a Topos. |
| |
| Keywords: | order set embeddings set embeddings category Topos |
| 本文献已被 CNKI 维普 等数据库收录！ |
