# right adjoint for pullback along fibration

Let $Grpd$ be the category of groupoids and $p:E\rightarrow B$ a fibration in the standard model structure on $Grpd$ (ie an isofibration). How do you prove that the pullback functor $p^{\star}:Grpd/B \rightarrow Grpd/E$ has a right adjoint ?

Best

-
Do you happen to know that it has a right adjoint? – Fernando Muro Dec 20 '13 at 17:52
It seems it's true but I was not able to find a demonstration. Especially it would be nice to have an explicit and elementary construction of this right adjoint even if I would be also grateful for a theorem that solves the question. – user2664 Dec 20 '13 at 18:03
So is the existence of a right adjoint part of the question? If so, it would be nice if you could edit your question. – Fernando Muro Dec 20 '13 at 18:04
It's kind of strange. If you know it's true, then you must know some proof, but you still ask about it, why is it so? – Fernando Muro Dec 20 '13 at 20:34
If you read it somewhere you should include that reference as part of the question. That way others would know where to look and what to reference when formulating an answer – David White Dec 20 '13 at 21:00

Here are some references: Theorem 4.4 on p.40 of:

Giraud, Jean Méthode de la descente. Bull. Soc. Math. France Mém. 2 1964

which is available from Numdam. The result was rediscovered by F. Conduché,

F. Conduché, Au sujet de l'existence d'adjoints à droite aux foncteurs "image réciproque" dans la catégorie des catégories, C. R. Acad. Sci. Paris 275 (1972), A891–894.

and developed for crossed complexes in

Howie, James Pullback functors and crossed complexes. Cahiers Topologie Géom. Différentielle 20 (1979), no. 3, 281–296.

Update: I'd like to add an amusing application of the result on fibrations of groupoids and pullbacks. An epimorphism of groups, say $p: E \to B$, is a special case of a fibration of groupoids. So the pullback functor $p^*$ from groupoids over $B$ to groupoids over $E$ preserves colimits. Now the inclusion of categories $\mathbf{ Groups} \to \mathbf{ Groupoids} \;\;$ preserves colimits of connected diagrams. It follows that the pullback functor $p^*: \mathbf{ Groups}/B \to \mathbf{ Groups}/E\;\;$ preserves colimits of connected diagrams. In particular, it preserves pushouts. (This was published with P.R. Heath in "Lifting amalgamated sums and other colimits of groups and topological groups'', Math. Proc. Camb. Phil. Soc. 102 (1987) 273-280.)