0-范畴,强〈E〉~*-稠密半群(英文)

我们通过本原逆半群作用在强〈E〉-酉,〈E〉-稠密范畴上,给出了0-范畴,(强)〈E〉*-稠密,强〈E〉*-酉半群的一个刻画.我们也证明了每一个0-范畴,强〈E〉*-稠密半群有一个0-范畴,(强)〈E〉*-稠密,强〈E〉*-酉的覆盖.

0-范畴E-酉逆半群的结构

本文证明了每一个 0 -范畴 E* -酉逆半群能被嵌入到半格与本原逆半群的 λ-半直积中。