半群部分作用的整体化

我们提出了半群在集合上的部分作用整体化的两种泛构造，满足半群 Morita 理论中出现的某些条件。其中一种构造基于部分半群作用与半群的张量积，推广了 Megrelishvili 和 Schr"oder 关于幺半群强部分作用的整体化构造。它给出了给定部分作用的整体化适当范畴中的初始对象。另一种构造涉及 ${\mathrm{Hom}}$-集，即使在幺半群情形中也是新颖的。它给出了适当整体化范畴中的终止对象。而在群的情形中，两种构造的结果同构，但在幺半群情形中它们可能截然不同。