bn:03258680n
Noun Concept
Categories: Sheaf theory, Functors, Topos theory
EN
presheaf  category of presheaves  presheaf category  presheaf of sets  Yoneda extension
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
Definitions
Relations
Sources
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
IS A
HAS KIND
STUDIED BY