Locale范畴中的弱反射子范畴  

The Weakly Reflection Subcategory of the Category of Locales

作　　者：孙向荣[1] 

机构地区：[1]南京邮电大学理学院,江苏南京210046

出　　处：《南京邮电大学学报（自然科学版）》2010年第5期59-61,共3页Journal of Nanjing University of Posts and Telecommunications：Natural Science Edition

基　　金：国家自然科学基金(10926104);南京邮电大学科研项目(NY217150)资助项目

摘　　要：反射性是范畴论中研究的重要内容,反射的复合性是构造反射性的重要途径。引入了弱反射子范畴的概念,并在此基础上给出反射性的弱形式的复合定理。在locale范畴中,证明了一个locale A的理想格Idl(A)是其限制在紧正则locale范畴上的弱反射子范畴。利用弱形式的反射复合定理,从不同的角度系统的讨论了locale范畴中各种紧性反射。Reflection is an important part in category.It is a good way to construct the reflection by using composition of the reflection.This paper describes the concept of the weakly reflection subcategory and presents a theorem of composition based on the reflection.It also proves that,in locale category,the category of compact locales is the weakly reflection subcategory for the restriction of the category of compact regular locales.Furthermore,applying the weakly composition theory and the definition of regular elements,it gives the constructive description of the compact regular reflection.

关 键 词：反射性 弱反射子范畴 正则反射 紧正则反射 

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