这是預層 (范疇論)的当前版本,由Addbot(留言 | 贡献)编辑于2013年3月16日 (六) 02:57 (机器人:移除1个跨语言链接,现在由维基数据的d:q7241077提供。)。这个网址是本页该版本的固定链接。
在數學的一支,范疇論中,範疇 C {\displaystyle C} 上的一 V {\displaystyle V} 值預層 F {\displaystyle F} 是一函子 F : C o p → 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。