不分明范畴的一种生成及其可逆元的结构

自从1965年不分明集(fuzzy set)由Zadeh引入后,由于其实践背景强,已在应用及基础理论研究中受到广泛的注意,关于不分明关系(fuzzy relation)以及二级不分明关系的可逆元的结构已在2]中各别地予以描述与证明,这是2]中较为重要的结果。本文目的是将这两个结果予以统一并推广为范畴论中一种性质,为此,首先要将2]中不分明范畴的一种构成进一步一般化,本文§2引入的准范畴概念正是为了这个目的。由于准范畴概念与不分明关系的研究的联系直接,似乎不无意义。从代数角度看,本文是关于准范畴至某类格(即§1中介绍的cl_∞—伪群)的映射集的代数性质,主要是可逆元结构的探讨。