預層_(範疇論)

在數學的一支 ， 範疇論中 ， 範疇上的一值預層是一函子 。 “ 預層 ” 常常被定義爲Set值預層 。 若是拓撲空間中所有開集構成的偏序集 （ 作爲範疇理解 ） ， 那麼我們就回到了拓撲空間上的預層的概念 。 預層間的態射被定義爲函子間的自然變換 ， 這使得上所有預層的蒐集構成了一個範疇 。 到的函子常被稱爲Profunctor 。