A Conduché functor, or exponentiable functor, is a functor which is an exponentiable morphism in Cat. (In accordance with Baez's law, the notion was actually defined by Giraud before Conduché.) This turns out to be equivalent to a certain “factorization lifting” property which includes both Grothendieck fibrations and opfibrations.
It is easy to write down examples of colimits in that are not preserved by pullback (as they would be if pullback had a right adjoint). For instance, let denote the walking arrow, i.e. the ordinal regarded as a category, the terminal category, and the ordinal regarded as a category. Then the pushout square
in pulls back along the inclusion of the arrow to the square
which is certainly not a pushout.
One way to describe the problem is that the pushout has “created new morphisms” that didn’t exist before. But another way to describe the problem is that the inclusion fails to notice that the morphism acquires a new factorization in which it didn’t have in . Conduché’s observation was that this latter failure is really the only problem that can prevent a functor from being exponentiable.
A functor is a strict Conduché functor if for any morphism in and any factorization of in , we have:
there exists a factorization of in such that and , and
any two such factorizations in are connected by a zigzag of commuting morphisms which map to in .
(Here, ‘commuting morphism’ means a morphism in such that the pair of triangles in
The theorem is then that the following are equivalent:
By “exponentiable in the strict 2-category ” we mean that pullback along has a strict right 2-adjoint (i.e. a -enriched right adjoint). Of course, this implies ordinary exponentiability in the 1-category , while the converse follows via an argument involving cotensors with in .
For exponentiability in the weak 2-category , in the sense of pullback having a weak/pseudo 2-adjoint, we can simply weaken the condition. We say that is a (weak) Conduché functor if for any morphism in and any factorization of in , we have:
there exists a factorization of in , and an isomorphism , such that modulo this isomorphism and , and
any two such factorizations in are connected by a zigzag of commuting morphisms which map to isomorphisms in .
A functor can then be shown to be a weak Conduché functor if and only if it is exponentiable in the weak sense in .
The Conduché criterion can be reformulated in a more conceptual way by analogy with Grothendieck fibrations. We first observe that to give a functor is essentially the same as to give a normal lax 2-functor from to the 2-category of profunctors. Specifically, iven a functor , we define as follows. Each object is sent to the fiber category of objects lying over and morphism lying over . And each morphism in to the profunctor for which is the set of arrows in lying over . The lax structure maps are given by composition in . The converse construction of a functor from a normal lax 2-functor into is an evident generalization of the Grothendieck construction. Now we can say that:
The above considerations show that any Grothendieck fibration or opfibration is a (strict) Conduché functor, while any Street fibration or opfibration is a non-strict Conduché functor.
If denotes the interval category, then any normal lax functor out of is necessarily pseudo, since there are no composable pairs of nonidentity arrows in . It follows that, as pointed out by Jean Benabou, any functor with codomain is a Conduché functor. Note that functors with codomain can also be identified with profunctors, the two fiber categories being the source and target of the corresponding profunctor.
As with exponentiable morphisms in any category, Conduché functors are closed under composition.
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.
J. Giraud, ‘Méthode de la descente’, Bull. Math. Soc. Memoire 2 (1964)
The definitions and proofs of the above theorems, along with the 2-categorical generalization (Conduché considered only the 1-categorical case) can also be found in
A description of the characterization in terms of lax normal functors can be found in