- open
subsets gives rise to the
concept of
presheaves.
Roughly speaking,
sheaves are then
those presheaves,
where local data can be
glued to
global data...
- space. A
morphism of
presheaves is
defined to be a
natural transformation of functors. This
makes the
collection of all
presheaves on C {\displaystyle...
- In
category theory, a
branch of mathematics, a
limit or a
colimit of
presheaves on a
category C is a
limit or
colimit in the
functor category C ^ = F c...
- "category of
right modules over C {\displaystyle C} ". The
category of
presheaves on a
topological space X {\displaystyle X} is a
functor category: we turn...
- Set, the
category of sets and functions, D is
called a
presheaf on C.
Presheaves (over a
topological space) If X is a
topological space, then the open...
-
category of G {\displaystyle G} -sets. We
construct this as the
category of
presheaves on the
category with one object, but now the set of
morphisms is given...
-
Retrieved 2019-12-07. "Section 7.3 (00V5):
Injective and
surjective maps of
presheaves". The
Stacks project.
Retrieved 2019-12-07. Farlow, S. J. "Section 4.2...
- is true.
Given a
small category C {\displaystyle C} , the
category of
presheaves S e t C o p {\displaystyle \mathrm {Set} ^{C^{op}}} (i.e. the functor...
-
appropriate variant of a
Grothendieck topology. One can also
replace presheaves of sets by
presheaves of
simplicial sets (or of
infinity groupoids). Then, in presence...
-
simplicial presheaves on any
small Grothendieck site, the
category of
topological spectra, and the
categories of
simplicial spectra or
presheaves of simplicial...