关于余模范畴中的挠自由类与覆盖类

对于一个余代数,首先引入了余模的(预)覆盖的概念并给出关于它的一些性质;然后,引入了极大倾斜余模和覆盖余模的概念,并证明倾斜挠自由类和极大倾斜余模之间存在一个双射;最后,得到了在余代数中当倾斜挠自由类是覆盖类时,它是由覆盖余模唯一表示的。