摘要
在一个topos中引入模糊子对象的概念 ,给出了一个对象的元素x对一个模糊子对象的隶属度的定义 .在一个布尔topos中讨论了模糊子对象的运算 .最后给出了由toposC的模糊子对象构成的范畴FC ,研究了范畴FC的等化子性质 ,有限积性质 ,并证明了范畴FC有最终元存在 .
The concept of the fuzzy subobject in a topos is introduced and the definition of membership degree of a element x about an object is given.Operations of fuzzy subobjects in a boolean topos are discussed.A category FC formed by fuzzy subobjects in a topos C is given.Properties of equalizers,finite products and terminal object in category FC are studied.
出处
《辽宁师范大学学报（自然科学版）》
CAS
2001年第2期113-117,共5页
Journal of Liaoning Normal University:Natural Science Edition
基金
辽宁省教育厅高校科研项目! (A990 3110 0 7)
