可表函子

可表函子是在數學中範疇論裏的概念 ， 指從任意範疇到集合範疇的一種特殊函子 。 這種函子將抽象的範疇表達成人們熟知的結構 （ 即集合與函數 ） ， 從而使得對集合範疇的瞭解可以儘可能應用到其它環境中 。 從另外一個角度看 ， 範疇的可表函子是隨範疇而生的 。 因此 ， 可表函子理論可以視作偏序集合理論中的上閉集合以及群論中的凱萊定理的極大的推廣 。