All Questions
Tagged with limits-and-colimits sheaf-theory
7 questions
5
votes
1
answer
411
views
Day convolution and sheafification
$\DeclareMathOperator\Psh{Psh}\DeclareMathOperator\Sh{Sh}\newcommand\copower{\mathrm{copower}}$I was looking through Bodil Biering's thesis On the Logic of Bunched Implications - and its relation to ...
3
votes
1
answer
512
views
Proof without sieves: Equivalent grothendieck topologies have the same sheaves
I'm currently learning about sheaf theory with Angelo Vistoli’s 2007 Notes on Grothendieck topologies,
fibered categories and descent theory. And in page 35, there is the following definition of a ...
- 119
4
votes
2
answers
1k
views
Sheaf cohomology commutes with colimits of sheaves
Let $X$ be a Noetherian scheme over a Noetherian ring $R$ and $(F_{\alpha})_{\alpha \in I}$ a direct system of $O_X$-module sheaves on $X$. I'm looking for source literature where I can find a proof ...
- 6,018
1
vote
0
answers
213
views
Zero in colimit of sheaves category
This question is motivated by showing that the category $\mathbf{Sheaves} (X)$ from the open subset excluding the empty set category to the category of abelian group $\mathbf{Ab}$ has enough injective ...
- 1,168
3
votes
1
answer
264
views
Most general context where a "disjoint sum" definition of a direct limit is applicable and always exist
I am a bit out of my element here so I'm hopefully not saying something stupid.
Anyways, wikipedia gives two ways to define direct limits, one for "algebraic structures" and one for general ...
- 2,792
5
votes
0
answers
448
views
Examples of nonstable ∞-categories in which sifted colimits commute with finite limits
What are some natural examples (if any) of nonstable ∞-categories in which finite limits commute with sifted colimits (or rather just colimits over Δ^op)?
Stable ∞-categories do satisfy this property,...
- 37.8k
11
votes
2
answers
4k
views
Is Sheafification Functor Exact?
I know that sheafification functor from the category of abelian presheaves on $C$ to the category of abelian sheaves on $C$. Here, $C$ is a category with Grothendieck pretopology.
My question is:
...
- 945