关于一种L-模糊集范畴的探讨和研究A study and study of a category of L- fuzzy sets.pdfVIP

摘要 本文针对两个存在映射关系的对象分别在不同格上的隶属度是 否存在相关关系的现象进行了研究和探讨，主要工作包括以下三个方 面： 首先，给出上述现象的范畴论描述： 一个厶模糊集范畴的对象是三元组(X A，Lx)，其中x是Sets(集 合范畴)中的对象，反是Lats(完备格范畴)中的对象，A是X在k上 的厶模糊集． 其次，研究上述定义的}模糊集范畴上的初对象、终对象、乘 积、等子、拉回等方面的构造： 定理3．1若砌在Lats中是单的，则L—F中态射．厂是单的当且仅 当厂在Sets中是单映射． 定理3．2 A= 当，保持，中的单满结构时，若厂是双射则尺，)o Bof成立． 定理3．3 当F保持．厂中的单满结构时，L—F有乘积．一族三元组 {(X，Af，如)}f“的乘积为(XA，k)，其中x为一族{X}脚在Sets中 的笛卡尔积，k为一族{Lxi}埏‘，在格范畴中的笛卡尔积，A将每个X∈ X中的项Xi∈xi(f∈D映到A@)∈Lx的相应项Af魄)(f∈l，)． 定理3．4三元组(D，妒，{上))是L—F的初始对象，(砂，{木)，{上})是 L—F的终止对象． 定理3．5 L-F中，设Zg为(X，A，Lx)和(y’B，Ly)之间的两个态 射，Z 在K上的限制． 最后，根据这种定义方式给出了在几种特定自函子下的相关解 关键词： 模糊集，范畴论，等子，乘积，拉回 ABSTRACT Existenceofthe oftwo with relation correlativityobjectsmapping hasbeendiscussedin onthe of ofdistributive1attices degreemembership three maincontentincludes misarticle．the parts： 1 ofthe ofthe theory st，t11e categorical description presentation condition： undertheaforesaid The ofone of setsistriad(x’A，Lx)，in L—fuzzy object category inthe isthe inthe isthe Lats，A whichXis出e set，Lx ob{ect object ofXon sets Lx． L-fuzzy of ofinitial construct 2nd，reseach object，terminalobject，