# Questions tagged [fibered-categories]

The fibered-categories tag has no usage guidance.

19
questions

**5**

votes

**1**answer

118 views

### Fibration on the category of Lie pseudoalgebras implementing comorphisms

I am trying to understand comorphisms of Lie pseudoalgebras from the point of view of fibred categories, but failing miserably so far. My question would be:
Is there a (op)fibration $\mathrm{LiePs} \...

**2**

votes

**0**answers

82 views

### Infinititesimal Automorphisms intuition (algebraic stacks)

Let $F$ be a category cofibered in groupoids over category $C$. Given a morphism $x'\to x$ in $F$ lying over a morphism $A′\to A$ in $C$, there is an induced homomorphism
$\operatorname{Aut} A'(x')\to ...

**2**

votes

**1**answer

93 views

### Is there any relation between two pseudofunctors associated to two different cleavages of the same fibered category?

It is well known that given a Fibered category $P_F: E \rightarrow C$ with a cleavage $K$ we can construct a pseudofunctor $F_K: C^{op} \rightarrow Cat$. Now if one chooses a different cleavage $L$ ...

**1**

vote

**0**answers

101 views

### Regarding the definition of $f$-morphisms/cartesian arrows in a fibred category $\mathcal{F} \rightarrow \mathcal{C}$

Let $p: \mathcal{F} \rightarrow \mathcal {C}$ be the data of a fibred category. Then, for arrows $f: U \rightarrow V$ in $\mathcal{C}$, a morphism $\phi: \xi \rightarrow \eta$ in $\mathcal{F}$ is said ...

**4**

votes

**0**answers

83 views

### Partially fibered categories vs T-Multicategories

Short version: This is a reference request question. I would like to know if something has been written on the connection between $T$-multicategory (for $T$ a monad on a category $\mathcal{E}$), and ...

**20**

votes

**3**answers

886 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

**1**answer

112 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

**0**answers

155 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 ...

**8**

votes

**4**answers

525 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

**1**answer

413 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

**1**answer

892 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

**0**answers

205 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

**0**answers

505 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 ...

**13**

votes

**2**answers

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

**4**answers

786 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

**1**answer

790 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

**3**answers

580 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

**0**answers

550 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
...

**7**

votes

**2**answers

602 views

### Explicit description of a fibered category

I found the following exercise in Vistoli's notes. He proves a theorem (Theorem $3.45$, page number $64$) stating that any category $\mathcal{F}$ fibered over $\mathcal{C}$ is equivalent, as a fibered ...