幺正自然变换

一个 自然变换 如果左侧的图表可交换，则称为幺正的。类似地，一个自然变换 如果右侧上面的图表可交换，则称为幺正的。

请注意，在这些定义中，、 和 都是 对象 在一个 张量范畴 中， 是 中的中性（或单位）对象，并且并置 是 张量积 在 中的简写。此外，附加到变换 和 的下标表示函子的 分量 （以 中的对象为索引）。