可表示函子，两范畴间的一类特殊函子，有泛元素的函子。