- function. The two
presheaf axioms are
immediately checked,
thereby giving an
example of a
presheaf. This can be
extended to a
presheaf of
holomorphic functions...
- 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...
- mathematics, more
specifically in
homotopy theory, a
simplicial presheaf is a
presheaf on a site (e.g., the
category of
topological spaces)
taking values...
- a
presheaf on X {\displaystyle X} is a
contravariant functor from O ( X ) {\displaystyle O(X)} to the
category of sets, and a
sheaf is a
presheaf that...
-
topological space X {\displaystyle X} must satisfy,
given that it is a
presheaf,
which is by
definition a
contravariant functor F : O ( X ) → C {\displaystyle...
- In
algebraic geometry, a
presheaf with
transfers is, roughly, a
presheaf that, like
cohomology theory,
comes with pushforwards, “transfer” maps. Precisely...
-
category of
elements of a
presheaf is a
category ****ociated to that
presheaf whose objects are the
elements of sets in the
presheaf. It and its generalization...
-
every presheaf of sets is a
colimit of
representable presheaves in a
canonical way. For example, by definition, a
simplicial set is a
presheaf on the...
- Unfortunately, in general, the
total quotient ring does not
produce a
presheaf much less a sheaf. The well-known
article of Kleiman,
listed in the bibliography...
- the same
thing as a
functor G : Cop → Set and is
commonly called a
presheaf. A
presheaf is
representable when it is
naturally isomorphic to the contravariant...
