自然變換

在數學的範疇論中 ， 自然變換是將一個函子變爲另一個函子 ， 使相關範疇的內在結構 （ 就是態射間的複合 ） 得以保持 。 因此可以將自然變換視爲 「 函子間的態射 」 。 這一看法其實也能形式化 ， 定義出函子範疇 。 自然變換與範疇及函子一樣 ， 都是範疇論很基本的概念 。