在數學的一支,范疇論中,範疇上的一值預層是一函子。「預層」常常被定義為Set值預層。若是拓撲空間中所有開集構成的偏序集(作為範疇理解),那麼我們就回到了拓撲空間上的預層的概念。
預層間的態射被定義為函子間的自然變換,這使得上所有預層的搜集構成了一個範疇。到的函子常被稱為Profunctor。
性質
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.