范畴论论文

模糊范畴fuz中的选择公理
论文摘要Topos结构是范畴论中刻画集合论的强有力工具,AC1和AC2是topos中选择公理的两种表达形式。模糊范畴fuz不是topos,仅有一个弱topos的结构,在fuz中...