Let $\mathcal{C}$ a category.

Let $Fib(\mathcal{C})$ the category of fibrations (on $\mathcal{C}$) with morphisms the cartesian functors $T: (\mathcal{A}, P)\to (\mathcal{B}, Q)$

i.e. $T: \mathcal{A}\to \mathcal{B}$ with $Q\circ T=P$ (where $P: \mathcal{A}\to \mathcal{C}$, $P: \mathcal{B}\to \mathcal{C}$ are fibrations on $\mathcal{C}$).

From literature (es. "Categorical logic and Type THeory" B.Jacobs) the pullbak of two fibration (i.e. the product in $Fib(\mathcal{C})$) is still a fibration, and this has a easy generalization to a multi-pullback i.e. a the inclusion $Fib(\mathcal{C})\subset CAT\downarrow \mathcal{C}$ create (small) product, the some is true for the kernel of a couple, then the inclusion above create all (small) limits. THe some is easly true for coproducts.

**I ask: do the inclusion $Fib(\mathcal{C})\subset CAT\downarrow \mathcal{C}$ create also cokernels? Counterexamples?.**

**Observation** $Fib(\mathcal{C})$ is equivalent to the category of pseudo-functors $P: \mathcal{C}^{op}\to CAT$ with pseudo-transformations as morphisms, and the punctual limits or colimits of pseudofunctors is still a pseudofuntors (I seems yes, anyway this is true for funtors and natural tranformations considering the category $sFib(\mathcal{C})$ of fibrations with split clevages and clevage preserving functors ), then $Fib(\mathcal{C})$ (or at least $sFib(\mathcal{C})$) is complete and cocomplete.