時に2つの見かけ上異なった構成が同等の概念を定めていることがあるが、この状況は2つの関手の間の自然同型になっている自然変換によってとらえられる。
有时候，两个截然不同的构造具有“相同的”结果；这正可以用两个函子之间的自然关系来表述。