# Questions tagged [sites]

For question related to the mathematical notion of site, which among others generalizes the notion of topological space. For questions on internet-sites use online-resources, but note that these question need to be very specific to research-level mathematics to be on-topic.

27
questions

**1**

vote

**0**answers

115 views

### Confusion in understanding the notion of $G$ Principal bundle where $G$ is a geometric group over a site

The first paragraph of the section Overview in the paper Principal infinity-bundles - General theory by Nikolaus, Schreiber and Stevenson https://arxiv.org/abs/1207.0248 precisely reads the following:
...

**1**

vote

**0**answers

165 views

### Čech-Alexander complex in computing (crystalline/prismatic) cohomology

I have a naive question about Čech-Alexander complexes in prismatic cohomology (although I suspect that the situation is similar for crystalline cohomology).
They seemed to be introduced as a method ...

**7**

votes

**0**answers

174 views

### What is a morphism of ∞-sites?

Recall that a morphism of sites
is a covering-flat functor
that preserves covering families.
Morphisms of sites can be identified with those
geometric morphisms of induced toposes
for which the ...

**12**

votes

**1**answer

719 views

### Are there (enough) injectives in condensed abelian groups?

The question is very simple : does $Cond(\mathbf{Ab})$, the category of condensed abelian groups (as defined in Scholze's Lectures in Condensed Mathematics), have enough injectives ?
Does it, in fact,...

**3**

votes

**1**answer

180 views

### What to call a morphism of sites inducing an equivalence on categories of sheaves?

Is there a standard term for a morphism of sites $(C,J)\to(C',J')$ which induces an equivalence on sheaf categories $\operatorname{Sh}(C',J')\xrightarrow\sim\operatorname{Sh}(C,J)$? The nLab entry ...

**14**

votes

**1**answer

584 views

### Has this “backwards” perspective on toposes been studied?

Topos theory can be seen as a categorification of topology via the following analogies.
\begin{array}{|c|c|}
\hline
\text{locales}&\text{Grothendieck toposes}\\\hline
\text{open sets}&\text{...

**1**

vote

**0**answers

71 views

### “Covering-flat” part in definition of morphism of sites

Let $(\mathcal{C},\mathcal{I})$ and $(\mathcal{D},\mathcal{J})$ be sites where $\mathcal{C}, \mathcal{D}$ are categories and $\mathcal{I}$ and $\mathcal{J}$ are Grothendieck topologies on $\mathcal{C}...

**4**

votes

**1**answer

272 views

### How to construct cup-product in a general site?

Let $\mathcal{C}$ be a site on the category of schemes for some Grothendieck topology, $X$ a scheme, and let $F,G$ be two sheaves of abelian groups on $\mathcal{C}$. Do we have cup-product as follows?
...

**0**

votes

**0**answers

282 views

### Grothendieck topology on a scheme equivalent to the circle

Suppose a class of morphisms of schemes is reasonable enough so that we can associate a small site to any scheme (just like small étale site). Is there a simple class of morphisms such that there is a ...

**9**

votes

**1**answer

370 views

### Points of the big Zariski site

It's relatively simple to show that the geometric morphisms $ \mathbf{Set} \to \mathrm{Sh}(\mathbf{CRing}^\mathrm{op}_{\mathrm{fp}}, \mathrm{Zar})$ correspond to local rings.
More precisely, since ...

**2**

votes

**0**answers

137 views

### Pullback of a constant sheaf over arbitrary sites

Given a geometric morphism between arbitrary Grothendieck topoi, $f:\mathcal{Sh(D)}\to\mathcal{Sh(C)}$, does the pullback $f^{-1}$ (i.e, the left adjoint) take constant sheafs to constant sheafs?

**6**

votes

**1**answer

319 views

### Equivalence of the definitions of a sheaf in SGA4 and in “Categories and Sheaves”

I asked this question on Mathematics Stack Exchange, but got no answer.
I don't understand why the definition of a sheaf (Definition 17.3.1 (ii)) given in the book
[KS] Categories and Sheaves by ...

**10**

votes

**0**answers

384 views

### Differential Forms in Infinite Dimensions

In Kriegl/Michor's book "The convenient setting of global analysis", they define the space of differential $k$-forms on a possibly infinite-dimensional manifold $M$ as the space of smooth sections of ...

**4**

votes

**0**answers

160 views

### Is the restriction of sheaves from the big to small etale sites an equivalence?

Let $X$ be a scheme. Let $(\mathrm{Sch}/X)_{ét}$ and $X_{ét}$ be the big and small étale sites, resp. Is the restriction functor from $\operatorname{Sh}((\mathrm{Sch}/X)_{ét})$ to $\operatorname{Sh}(...

**6**

votes

**0**answers

125 views

### Dense (∞,1)-subsites

So if $C$ is a 1-site and $D$ is a subsite (with the induced coverage), there are some conditions that ensure that the pre-composition and right Kan extension functors yield an equivalence of ...

**4**

votes

**1**answer

261 views

### Stacks for the extensive topology?

Recall that any extensive category can be canonically endowed the structure of a site via the extensive topology, which is the Grothendieck topology whose covering morphisms are the coproduct ...

**1**

vote

**0**answers

62 views

### Morphism of 2-sites

Let $X$ and $Y$ be Grothendieck sites. A $\textit{morphism}$ between $X$ and $Y$ is a functor on the underlying categories that is covering-flat and preserves covering families. See https://ncatlab....

**5**

votes

**0**answers

215 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,...

**5**

votes

**1**answer

315 views

### Categorification of covering morphisms

Given a category $\mathsf{A}$, let $\mathsf{Fam}(\mathsf{A})$ be its free coproduct cocompletion (which is always extensive). This means every object has a unique up to iso presentation as a coproduct ...

**1**

vote

**0**answers

172 views

### $\mathbb E$-descent maps in topological spaces in terms of different sites?

The paper Facets of Descent I by Janelidze and Tholen defines $\mathbb E$-descent maps as those for which $\Phi^p:\mathbb EB\longrightarrow \mathsf{Des}_\mathbb{E}(p)$ is an equivalence of categories.
...

**0**

votes

**1**answer

84 views

### A confusion about covering flatness

I'm reading this entry on nLab. But I'm confusing with the notion of covering-flatness. More precisely, I meet some trouble when I try to show that the $Sets$-valued flatness is a special case of ...

**10**

votes

**0**answers

337 views

### Making the conceptual leap from locales to Grothendieck topologies?

I find the definition for locales and sheaves on locales to be straightforward, but I'm stumbling over the idea of a Grothendieck topology. Is there a nice way to see roughly how the latter ...

**3**

votes

**2**answers

394 views

### Morphism on schemes induced by continuous morphism of sites

I am beginner in the theory of Grothendieck topologies and I have the following question.
Let $X, Y$ be schemes over an algebraically closed field $k$. Denote by $X_{et}$ and $Y_{et}$ the Etale sites ...

**8**

votes

**1**answer

258 views

### Which dense inclusions of sites are ∞-dense?

An inclusion of sites f: D→C is dense if it induces an equivalence between the categories of sheaves on C and D.
Likewise, f is ∞-dense is it induces an equivalence between the ∞-categories of ∞-...

**3**

votes

**2**answers

332 views

### 1st cech cohomology groups on ringed sites

Let $(C, O)$ be a ringed site -- i.e., $C$ is a small category with a grothendieck topology $\tau$ and $O$ a sheaf of rings on the site $(C,\tau)$. In this context, for any object $U$ of $C$ one can ...

**16**

votes

**1**answer

1k views

### Points in sites (etale, fppf, … )

I asked a part of this in an earlier question, but that part of my question didn't receive precedence.
Etale site is useful - examples of using the small fppf site?
Let $X$ be a scheme (assume it ...

**20**

votes

**2**answers

2k views

### Etale site is useful - examples of using the small fppf site?

Edit: After the answers and comments, I'm hoping for a little bit of elaboration (in the comment to the answer below.) Also, question 2 was discussed here:
Points in sites (etale, fppf, ... )
There, ...