在數學的一支,范疇論中,範疇C{\displaystyle C}上的一V{\displaystyle V}值預層F{\displaystyle F}是一函子F:Cop→V{\displaystyle F:C^{\mathrm {op} }\to \mathbf {V} }。“預層”常常被定義為Set值預層。若C{\displaystyle C}是拓撲空間中所有開集構成的偏序集(作為範疇理解),那麼我們就回到了拓撲空間上的預層的概念。
預層間的態射被定義為函子間的自然變換,這使得C{\displaystyle C}上所有預層的搜集構成了一個範疇C^{\displaystyle {\hat {C}}}。到C^{\displaystyle {\hat {C}}}的函子常被稱為Profunctor。