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 it discrete fibrations.
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 it discrete fibrations.
Copyright © 2021 JogjaFile Inc.