Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [fibered-categories]

The tag has no usage guidance.

19
votes
2answers
658 views

What is the geometric significance of fibered category theory in topos theory?

Often in topos theory, one starts with a geometric morphism $f: \mathcal Y \to \mathcal X$, but quickly passes to the Grothendieck fibration $U_f: \mathcal Y \downarrow f^\ast \to \mathcal X$, which ...
3
votes
1answer
98 views

Internal equality for Eq-fibrations' morphisms

I have posted this question here on M.SE but since it received little attention and since it seems difficult to find helpfule references I reposting it here. In Jacob's Categorical logic and Type ...
1
vote
0answers
139 views

Choice free definition of category of descent data w.r.t a fibration?

Let $\mathsf C$ be a category and consider a pseudofunctor (non-strict 2-functor) $P:\mathsf C^{\text{op}}\to\mathsf{Cat}$. Given an arrow $f:X\to Y$ in $\mathsf C$, define the category of descent ...
6
votes
3answers
364 views

English Reference for the Bénabou-Roubaud theorem

The Bénabou-Roubaud theorem links fibrational descent theory with monadicity. Particularly, it says that given a bifibration satisfying the Beck-Chevalley condition w.r.t some arrow $p$ in the base ...
7
votes
1answer
327 views

Yoneda Lemma for internal presheaves

I'm looking for a reference explaining under what conditions the internal Yoneda lemma holds; in particular, I am wondering if it is known what properties of the ($2$-)category of categories are ...
13
votes
1answer
678 views

Difficulties with descent data as homotopy limit of image of Čech nerve

Apologies if this question is inappropriate for MO. It is not a research level question in any of the topics it addresses, I just don't see how a novice can go about answering it alone (I've tried ...
1
vote
0answers
195 views

Reference request: Grothendieck construction for $\mathbb V$-distributors?

I'm currently working with an analogue of the Grothendieck construction for enriched categories: Given a distributor a.k.a. $\mathbb V$-functor $D:X^\mathrm{op}\otimes Y\to \mathbb V$ there is a ...
7
votes
0answers
501 views

Where else has Proposition B1.3.17 in the Elephant been proved?

(I asked the same question here and got some helpful comments, but thought I'd re-ask in case I get a more direct response.) This is a sort of reference request. Proposition B1.3.17 in Johnstone's ...
11
votes
2answers
1k views

Are non-algebraic stacks useful in algebraic geometry?

The title is a bit vague. What I want to know is if there is any geometric application of non-algebraic stacks. I know e.g. the category of coherent sheaves is an example. But I want to ask if people ...
9
votes
4answers
762 views

Adjunctions form a stack

Let $C$ be a base category, $F,G$ be two categories fibered over $C$ and $F \to G$ be a morphism. The following criterion is used very often: If all the fiber functors $F_U \to G_U$ ($U \in C$) are ...
2
votes
1answer
753 views

Strong colimits of categories.

Let $\mathcal C$ be a category and let $\mathcal F:\mathcal C\to\mathcal C\textrm{at}$ be a strong bifunctor. Given another category $\mathcal D$, let $\triangle_{\mathcal D}$ denote the constant ...
6
votes
3answers
571 views

Fibered category with an adjoint inclusion

Suppose $X:D \to C$ is a fibered category (I do not assume the fibers to be groupoids). Suppose that $X$ is actually left adjoint to a fully faithful embedding $C \hookrightarrow D$. Is there a ...
8
votes
0answers
519 views

(Co-)Limits and fibrations of DG-Categories?

First of all, let me see if I got the 1-categorical version right: Let $\mathcal F:C\to Cat $ be a (pseudo-) functor. The 2-colimit $\mathrm{colim}_C\mathcal F$ is then given by the Grothendieck ...
6
votes
2answers
536 views

Explicit description of a fibered category

I found the following exercise in Vistoli's notes. He proves a theorem stating that any category $\mathcal{F}$ fibered over $\mathcal{C}$ is equivalent, as a fibered category, to a split one. Namely $\...