自然变换

令 为范畴 和 之间的函子。一个从 到 的自然变换 由一组 态射组成，这些态射在 中，并由 的对象 索引，使得对于 中对象之间的每个态射 ，等式

成立。元素 称为自然变换的分量。

如果所有分量 都是 中的同构，则 称为 和 之间的自然同构。在这种情况下，记作 。