4
votes
1answer
127 views

Associating a principal bundle to a torsor

in arXiv:math/0212266, Moerdijk defines a torsor to be a sheaf $\mathcal{S}$ on $X$ with a freely transitive left-action of a sheaf of groups $\mathcal{G}$, such that $X =\bigcup \{ U \in ...
8
votes
1answer
331 views

What is the difference between internal presheaves and presheaves on a total space?

Suppose that $\mathbb{C}$ is a category with finite limits and that $\mathcal{D}$ is a category internal to $\mathbb{C}$. We can also represent $\mathcal{D}$ as a fibration $\mathbb{D}\to\mathbb{C}$. ...
3
votes
0answers
82 views

How does the machinery of left-exact comonads generalize from sheaves to stacks?

Suppose that we have two Grothendieck sites, their associated sheaves $\mathcal{E}=\rm{Sh}(\bf{C},J)$ and $\mathcal{F}=\rm{Sh}(\bf{D},K)$ and a geometric surjection $f:\mathcal{E}\to\mathcal{F}$. This ...
3
votes
0answers
198 views

Definition of derived category of a stack

In their book, Bernstein an Lunts define the equivariant derived category in several ways. One can be expressed as follows: Let $X$ be a say complex variety with an action by an algebraic group $G$. ...
4
votes
1answer
360 views

Does the concept of a basis for a topology on a category exist?

If we want to define a sheaf F on a topological space X and we have a basis B for the topology of X, what we can do is to define objects and restrictions for guys in B, check that they satisfy the ...
16
votes
3answers
2k views

Stacks and sheaves

I'm a bit confused by the double role which sheaves play in the theory of stacks. On the one hand, sheaves on a site are the obvious generalization of a sheaf on a topological space. On the other ...
5
votes
1answer
501 views

Sites which are stacks over themselves

A site C with pullbacks is subcanonical (all representable presheaves are sheaves) if and only if its codomain fibration $Arr(C) \to C$ is a prestack (all hom-presheaves are sheaves). Is there a ...
10
votes
2answers
692 views

Does sheafification preserve sheaves for a different topology?

Let $T_1$ and $T_2$ be two Grothendieck topologies on the same small category $C$, and let $T_3 = T_1 \cup T_2$ (by which I mean the smallest Grothendieck topology on $C$ containing $T_1$ and $T_2$). ...
10
votes
2answers
1k views

Finiteness conditions on simplicial sheaves/presheaves

Could someone give an overview, or just some examples, of "finiteness conditions" for simplicial sheaves/presheaves and/or simplicial schemes? Any answer or comment about this would be interesting, ...