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