么正自然變換

一個 自然變換 如果左側的圖表可交換，則稱為么正的。類似地，一個自然變換 如果右側上面的圖表可交換，則稱為么正的。

請注意，在這些定義中，、 和 都是 物件 在一個 張量範疇 中， 是 中的中性（或單位）物件，並且並置 是 張量積 在 中的簡寫。此外，附加到變換 和 的下標表示函子的 分量 （以 中的物件為索引）。