摘要
利用拓扑学的思想定义了形式背景的AE-仿紧性,给出了AE-仿紧背景的充分条件,研究了AE-仿紧背景的若干性质.证明了AE-仿紧性被适当的信息态射所保持,对一类闭嵌入子背景是遗传的.在以形式背景为对象,信息态射为态射的范畴FCC中,给出了两个形式背景乘积对象的表示,证明了两个AE-仿紧背景的乘积对象还是AE-仿紧的.
This paper defines AE-paracompactness of formal contexts by using the idea of topology. Some sufficient conditions for AE-paracompact contexts are given. It is proved that AEparacompactness is preserved by certain information morphisms and that AE-paracompactness is hereditary for certain closed embedded sub-contexts. The representation for the object of a product of two formal contexts is given in the category FCC with formal contexts as objects and information morphisms as morphisms. It is proved that the object of a product of two AE-paracompact contexts is still an AE-paracompact context.
作者
吴国俊
徐罗山
WU Guo-jun;XU Luo-shan(Department of Mathematics,Yangzhou University,Yangzhou 225002,China)
出处
《高校应用数学学报(A辑)》
北大核心
2022年第1期101-108,共8页
Applied Mathematics A Journal of Chinese Universities(Ser.A)
基金
国家自然科学基金(11671008)
江苏省高校品牌专业建设工程(PPZY2015B109)。
关键词
形式背景
拓扑
AE-仿紧性
信息态射
范畴
formal context
topology
AE-paracompactness
information morphism
category