范畴是反映客观事物的普遍本质的基本概念。

在范畴论里，范畴的自然变换是指在两个范畴间的一个函子变为另一个函子，它具有自然性。