模糊范畴fuz中的选择公理

作者：王潇扬; 王宝山; 王拥军^*; 周恒

来源：模糊系统与数学, 2019, 33(04): 21-27.

• 范畴论
• topos
• 模糊集
• 选择公理

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

• 单位
  北京航空航天大学