作者：王潇扬; 王宝山; 王拥军; 周恒范畴论topos模糊集选择公理
摘要：Topos结构是范畴论中刻画集合论的强有力工具,AC1和AC2是topos中选择公理的两种表达形式.模糊范畴fuz不是topos,仅有一个弱topos的结构,在fuz中有两个相对应的等价的选择公理WAC1和WAC2.在此基础上,本文给出两个加强的选择公理WAC1′和WAC2′,并证明其等价性,最后给出了弱topos中的广义选择公理GWAC1′和GWAC2′的表达形式.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
