节点文献

模糊范畴fuz中的选择公理

The Axioms of Choice in Fuzzy Category fuz

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 王潇扬王宝山王拥军周恒

【Author】 WANG Xiao-yang;WANG Bao-shan;WANG Yong-jun;ZHOU Heng;Beihang University;

【通讯作者】 王拥军;

【机构】 北京航空航天大学数学与系统科学学院

【摘要】 Topos结构是范畴论中刻画集合论的强有力工具,AC1和AC2是topos中选择公理的两种表达形式。模糊范畴fuz不是topos,仅有一个弱topos的结构,在fuz中有两个相对应的等价的选择公理WAC1和WAC2。在此基础上,本文给出两个加强的选择公理WAC1′和WAC2′,并证明其等价性,最后给出了弱topos中的广义选择公理GWAC1′和GWAC2′的表达形式。

【Abstract】 Topos structure is a fundamental tool to describe set theory in category theory. There are two forms of axioms, AC1 and AC2, to express as the choice axioms in topos. The category fuz does not form a topos, it belongs to a structure called weak topos. Two axioms of choice WAC1 and WAC2 are equivalent in fuz, we strengthen these axioms as WAC1′ and WAC2′, then give the equivalence of such axioms. Finally, we put forward GWAC1′ and GWAC2′ as two forms of axioms of choice in weak topos.

【关键词】 范畴论topos模糊集选择公理
【Key words】 Category TheoryToposFuzzy SetAxiom of Choice
【基金】 国家自然科学基金资助项目(11371044)
  • 【文献出处】 模糊系统与数学 ,Fuzzy Systems and Mathematics , 编辑部邮箱 ,2019年04期
  • 【分类号】O159
  • 【被引频次】1
  • 【下载频次】19
节点文献中: 

本文链接的文献网络图示:

本文的引文网络