- 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^=Fct(Cop...
- "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...
- org "copresheaf", ncatlab.org "Natural
transformations and
presheaves:
Remark 1.28. (
presheaves as
generalized spaces)", ncatlab.org "Opposite functors"...
- 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...
- The
Grothendieck construction was
first studied for the
special case
presheaves of sets by Mac Lane,
where it was
called the
category of elements. If...
- of
simplicial presheaves on a site
admits many
different model structures. Some of them are
obtained by
viewing simplicial presheaves as
functors S o...
-
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...
- In
category theory, a
branch of mathematics, the
category of
elements of a
presheaf is a
category ****ociated to that
presheaf whose objects are the elements...