unit object（单位对象/幺对象）：在范畴论中指一种对象 I，它在某个“乘法”结构（如张量积 ⊗）下充当单位元：对任意对象 A，通常有 I ⊗ A ≅ A 且 A ⊗ I ≅ A（“≅”表示同构）。在不同语境下也可泛指“作为单位的对象/单元对象”（较少见，常见于数学与理论计算机科学）。
/ˈjuːnɪt ˈɒbdʒekt/（英式）
/ˈjuːnɪt ˈɑːbdʒekt/（美式）
A unit object acts like the identity element in a tensor product.
单位对象在张量积中起到类似“单位元”的作用。
In a monoidal category, the unit object is essential for expressing how objects combine without changing their identity up to isomorphism.
在幺半范畴中，单位对象对于表达“对象如何在不改变其同构意义上的身份的情况下进行组合”至关重要。
unit 来自拉丁语 unitas（“一、统一”），强调“单位/一”；object 来自拉丁语 objectum（“被放在前面的东西”），在哲学与数学中引申为“对象”。合起来的 unit object 直观表达“充当单位（identity）的对象”，是范畴论术语，常与“张量单位/幺对象”相关。
Select Language