0-范畴,强〈E〉*-稠密半群

摘要

我们通过本原逆半群作用在强〈E〉-酉,〈E〉-稠密范畴上,给出了0-范畴,(强)〈E〉*-稠密,强〈E〉*-酉半群的一个刻画.我们也证明了每一个0-范畴,强〈E〉*-稠密半群有一个0-范畴,(强)〈E〉*-稠密,强〈E〉*-酉的覆盖.%We characterize categorical,(strongly)〈E〉*-dense, strongly〈E〉*-unitary sernigroups by means of actions of primitive inverse semigroups on strongly〈E〉-unitary,〈E〉-dense categories. We also prove that every categorical, strongly〈E〉*-dense semigroup has a cover which is a categorical,(strongly)〈E〉*-dense, strongly〈E〉*-unitary semigroup.