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

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