范畴M-Fuz的Topos性质(续)

TOPOI PROPERTIES OF CATEGORY MFuz(CONTINUATION)

进一步讨论了范畴Ｍ┐Ｆｕｚ的ｔｏｐｏｓ性质．指出虽然范畴Ｍ┐Ｆｕｚ不是一个ｔｏｐｏｓ（因为它没有ｓｕｂｏｂｊｅｃｔｃｌａｓｉｆｉｅｒｓ），但它有两个特殊的物质，我们称之为中间物质和弱Ｓｕｂｏｂｅｃｔｃｌａｓｉｆｉｅｒ，这两个物质有类似于ｔｏｐｏｓ中的最终元和ｓｕｂｏｂｊｅｃｔｃｌａｓｓｉｆｉｅｒ的功能．于是我们引入了Ｗ－Ω公理和ｗｔｏｐｏｓ的概念．特别当Ｍ＝｛ｅ｝时。

Topoi properties of category MFuz are further cliscussed.Although category MFuz is not a topos,it has two special objects (called middle object and weak subobject classifier) which have the functions similar to topos′ ones.Therefore,WΩ axioms and concept of wtopos are introduced.when M={e},it may describe the membership functions of fuzzy sets.