預層 (范疇論)

范疇論

數學的一支,范疇論中,範疇上的一值預層是一函子。“預層”常常被定義為Set值預層。若拓撲空間中所有開集構成的偏序集(作為範疇理解),那麼我們就回到了拓撲空間上的預層的概念。

預層間的態射被定義為函子間的自然變換,這使得上所有預層的搜集構成了一個範疇。到的函子常被稱為Profunctor。

性質

编辑
  • 一個局部小範疇 可以通過米田嵌入 完全且忠實地嵌入Set值預層 ,它將 的每個對象 送到態射函子 
  • 預層 (精確到範疇等價)是 的自由余極限完備化。