1
vote
0answers
28 views

Is $\operatorname{Fib}(B)$ cartesian closed when $B$ is?

Is the ($2$-)category $\operatorname{Fib}(B)$ of fibrations over $B$ cartesian closed whenever $B$ is? If not, are there some restrictions that would make it so? For example, consider restricting to ...
1
vote
1answer
60 views

Proof that Beck-Chevalley holds for right adjoints iff it holds for left adjoints

I am looking at Bart Jacob's book "Categorical Logic and Type Theory". The proof of Lemma 1.9.7 is left as an exercise for the reader. It does not seem that easy to me, and i have had quite limited ...
1
vote
1answer
40 views

Examples of non fibrations

What are some illustrating examples of functors $\mathcal{E} \to \mathcal{B}$ which are neither a fibration nor an opfibration? I've found many positive examples but I'm blanking out on negative ...
3
votes
1answer
158 views

Beck Chevalley condition and maps of adjunctions

Suppose we have a split fibration $p : \mathbb{E}\to\mathbb{B}$ with (split) simple products. To fix notation, this means that for every projection $\pi_{I,J} : I\times J \to I$ in the base category, ...
2
votes
2answers
366 views

Monomorphisms and fibrations are preserved by pullback

I just came across a strange property of morphisms that are preserved under pullbacks, and it made me wonder. Consider a model category $\mathcal{M}$. Because the fibrations are exactly the maps that ...