群的部分作用的反射器与整体化

给定一个群在具有代数结构的集合上的部分作用 $\theta$，我们在整体作用的相应子范畴中构造 $\theta$ 的一个反射器，并研究该反射器何时为整体化的问题。特别地，如果 $\theta$ 是某个簇 ${\sf V}$ 中的代数上的部分作用，则我们证明该问题归结为与 $\theta$ 关联的某些 ${\sf V}$-代数的广义合并的可嵌入性。作为应用，我们描述了定义域为理想的半群上的可整体化部分作用。