自然變換

令 為範疇 和 之間的函子。一個從 到 的自然變換 由一組 態射組成，這些態射在 中，並由 的物件 索引，使得對於 中物件之間的每個態射 ，等式

成立。元素 稱為自然變換的分量。

如果所有分量 都是 中的同構，則 稱為 和 之間的自然同構。在這種情況下，記作 。