It is well-known that the maximalization of a coaction of a locally compact group on a C*-algebra enjoys a universal property. We show how this important property can be deduced from a categorical framework by exploiting certain properties of the maximalization functor for coactions. We also provide a dual proof for the universal property of normalization of coactions.

中文翻译：

---

$$C^*$$ 上的相互作用 - 代数和通用属性

众所周知，C* 代数上局部紧群的相互作用的最大化具有普适性。我们展示了如何通过利用协同作用最大化函子的某些属性，从分类框架中推导出这一重要属性。我们还为相互作用标准化的普遍性质提供了双重证明。