模糊范畴fuz中的选择公理
Topos结构是范畴论中刻画集合论的强有力工具,AC1和AC2是topos中选择公理的两种表达形式.模糊范畴fuz不是topos,仅有一个弱topos的结构,在fuz中有两个相对应的等价的选择公理WAC1和WAC2.在此基础上,本文给出两个加强的选择公理WAC1'和WAC2',并证明其等价性,最后给出了弱topos中的广义选择公理GWAC1'和GWAC2'的表达形式.
范畴论、topos、模糊集、选择公理
33
O154(代数、数论、组合理论)
国家自然科学基金11371044
2019-10-21(万方平台首次上网日期,不代表论文的发表时间)
共7页
21-27