更新时间：2022-09-24 10:24
可表示函子，两范畴间的一类特殊函子，有泛元素的函子。
设D有小态射集。则函子K:D→Set的表示为对
在同构意义下，可表示函子就是共变Hom函子D(r,-)。
给定范畴𝑪以及从𝑪到集合范畴𝔖的反变函子𝐹。对𝑪中对象A，定义，那么是从𝑪到𝔖的反变函子。若𝐹自然等价于，相应的有𝔖中同构，令，则称𝐹由(A，Ψ)表示，𝐹为可表示函子。
[contravariant functor]
给定范畴𝑪和𝑫以及对应F:𝑪→𝑫，如果𝑪中任意对象A对应𝑫的对象F(A)，𝑪中的任意态射f:A→B 对应D中态射F(f):F(B)→F(A)，并且满足，那么F称为从𝑪到𝑫的反变函子。
[category functor]
给定范畴𝑪和𝑫，这里𝑪是小范畴（即𝑪的对象是一个集合）。所有从𝑪到𝑫的函子及函子之间的自然变换组成函子范畴[𝑪到𝑫]。