- 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...
- {A}}} or A X {\displaystyle A_{X}} . The
constant presheaf with
value A {\displaystyle A} is the
presheaf that ****igns to each open
subset of X {\displaystyle...
- In
algebraic geometry, a
presheaf with
transfers is, roughly, a
presheaf that, like
cohomology theory,
comes with pushforwards, “transfer” maps. Precisely...
- 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...
-
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...
- {\displaystyle D\colon J\to C} . (Category theoretical)
presheaf For
categories C and J, a J-
presheaf on C is a
contravariant functor D : C → J {\displaystyle...
- 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...
