预层 (范畴论)

在数学的一支，范畴论中，范畴${\displaystyle C}$上的一${\displaystyle V}$值预层${\displaystyle F}$是一函子${\displaystyle F:C^{\mathrm {op} }\to \mathbf {V} }$。“预层”常常被定义为Set值预层。若${\displaystyle C}$是拓扑空间中所有开集构成的偏序集（作为范畴理解），那么我们就回到了拓扑空间上的预层的概念。

预层间的态射被定义为函子间的自然变换，这使得${\displaystyle C}$上所有预层的搜集构成了一个范畴${\displaystyle {\hat {C}}}$。到${\displaystyle {\hat {C}}}$的函子常被称为Profunctor。