bn:03258680n
Noun Concept
EL
presheaf
EN
In category theory, a branch of mathematics, a presheaf on a category C {\displaystyle C} is a functor F : C o p → S e t {\displaystyle F\colon C^{\mathrm {op} }\to \mathbf {Set} }. Wikipedia
English:
category theory
Relations
Sources
Wikipedia Translations