# Tag Info

Accepted

### Does the Grothendieck construction produce a 2-category or a category?

The usual Grothendieck construction has for $\mathcal C$ an ordinary category, so it doesn't have any 2-cells (or at least, doesn't have any non-identity 2-cells). Moreover, we actually get not only a ...
• 464
Accepted

### Does the Grothendieck construction satisfy Fubini's thorem

Yes. See section 4.2 of this paper by Harpaz and Prasma, which also extends the result to the setting of model categories. Another good source on these topics is Emily Riehl's book. The Fubini result ...
• 22.6k

### Relationship between two universal properties of the category of elements?

The conceptual explanation is that a comma square exhibits the bottom morphhism as a left Kan extension if the right morphism is dense. There is, of course, a problem what we mean by a "dense ...
• 3,986

### discrete Grothendieck construction

The name of that article changed (a lot, it seems): the information you seek is in the paper Doctrinal Adjunction by Kelly. It lies on page 257 of the collection Category Seminar, Number 420 of ...
• 14.8k
Accepted

### Is there a Grothendieck correspondence for sheaves/stacks?

The essential image of the Grothendieck construction from (weak) functors $C\to\operatorname{Cat}$ which are sheaves with respect to a Grothendieck topology $\mathcal T$ is described in Section 8.4 of ...
• 4,444
Accepted

### What is the name for the construction of this poset related to coherence of degeneracies of the simplex category?

Accepted

### Categorical Significance of Fibrations

Yes. In roughly your language, the forgetful $(\infty,1)$-functor $\rm Fib\to Top$ is an $\infty$-fibration, where the fiber over a space $X$ is the category of fibrations over $X$, and descent in ...
• 60.2k
Accepted

• 607
1 vote
Accepted

### Stack descent to sheaf descent via Grothendieck construction?

Here's a variation which is true, when interpreted in a suitably non-strict / higher categorical sense (for example, "functor" means "pseudofunctor" below). I'm not sure on which side of the ...
• 51k
1 vote

### Can tangent ($\infty$,1)-categories be described in terms of the higher Grothendieck construction?

See the proof of Proposition 1.1.9 here https://arxiv.org/pdf/0709.3091v2.pdf.
• 5,248

Only top scored, non community-wiki answers of a minimum length are eligible