在范畴论中，两个范畴间的函子具有范畴结构，其中的对象是函子，而态射则为自然变换。函子范畴的重要在于：
定义.设formula_1为小范畴（即：其对象构成一个集合而非真类），而formula_2为任意范畴。formula_3的函子构成一个范畴，其对象为函子，态射为自然变换（注意到自然变换可以合成），此范畴称为函子范畴，记为formula_4或formula_5。同理，我们亦可考虑formula_3的逆变函子函子范畴，它无非是formula_7。若formula_1与formu