homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
An exponentiable functor, also called a Conduché functor or Conduché fibration, is a functor which is an exponentiable morphism in Cat. (In accordance with Stigler's law of eponymy, the notion was actually defined in Giraud 64 before Conduché 72.) This turns out to be equivalent to a certain “factorization lifting” property which includes both Grothendieck fibrations and opfibrations.
So, roughly speaking, a functor is a strict Conduché functor if given any morphism in , and any way of factoring its image in , we can lift that factorization back up to a factorization of , in a way that is unique up to isomorphism. There is also a weak version of this idea.
As is evident from the fact that such functors have a name, not every functor is exponentiable in Cat. In particular, although is cartesian closed, it is not locally cartesian closed.
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 the slice category 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
commute.)
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 .
A Conduché functor is discrete if each factorisation is unique (equivalently, if it reflects identities). Discrete Conduché functors generalise discrete fibrations and discrete opfibrations.
Discrete Conduché functors are said to satisfy the unique lifting of factorisations. Discrete Conduché functors are therefore sometimes called ULF functors.
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 Prof, the 2-category of profunctors. The latter is also known as a displayed category; see there for more on this correspondence.
Specifically, given 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:
Thus Conduché functors into correspond to pseudofunctors from , regarded as a locally discrete bicategory, to the bicategory . However, morphisms between Conduché functors over do not correspond to pseudonatural transformations between such pseudofunctors. To get the correct transformations, we must instead regard as a vertically discrete double category, and as a pseudo double category with profunctors horizontally and functors vertically; then pseudo double functors again correspond to Conduché functors into , and vertical double transformations between them correspond to functors between Conduché functors into .
More generally, the slice category is equivalent to the hom-category , with its full subcategory consisting of Conduché functors corresponding to the pseudo double functors.
Non-strict Conduché functors and Street fibrations may be equivalently characterized by an “up-to-iso” version of the above constructions using essential fibers.
Ayala and Francis prove an analogous characterization of exponentiable (∞,1)-functors. The (∞,1)-categorical context eliminates the “level-shifting” in the characterization via (i.e. the presence of a bicategory Prof when discussing only exponentiable 1-functors). Thus, there is an (∞,1)-category (∞,1)Prof such that exponentiable -functors into an -category correspond to -functors .
As in the 1-categorical case, ordinary -transformations between functors do not give the correct maps between exponentiable -functors over ; we need to instead regard as a sort of “-double category”. Ayala and Francis consider only the vertically-invertible fragment of this -double category, which can be represented as a functor from an -groupoid to an -category (a sort of proarrow equipment with all 2-cells and all 1-cells in the domain invertible); this is what they call a “flagged” -category and is also what is represented by a non-complete Segal space. Of course, restricting to the vertically-invertible fragment of also restricts what it classifies to the -groupoid of exponentiable -functors over rather than the whole -category thereof.,
Functors satisfying a Conduché-like condition are central to completeness/cocompleteness in pseudo-double categories?. In short, in 1-category theory, is complete iff for any small and locally small , a functor, , has a pointwise right Kan extension along ; in pseudo double categories, this is too strong, and we must restrict to double functors satisfying a Conduché condition.
A pseudo-double category is unitary if the vertical identity arrows are strict identities, so on-the-nose. We here assume all double categories are unitary; this is not a severe restriction in practice.
Call a lax functor between pseudo-double categories unitary if it it preserves identity vertical arrows on-the-nose and the comparison map is the identity; therefore it is only really lax from the point of view of composition. A unitary lax functor is automatically strict, as has no nontrivial compositions, whereas a lax functor is an object endowed with a vertical monad.
Note that if we are working in a 2-category of lax functors, and we want to define the limit of a functor as the right Kan extension of along , we probably want to consider the initial extension along unitary lax functors rather than lax functors, so that our answer is just an object of and a cocone rather than a vertical monad in . Thus we will here consider unitary Kan extensions.
The correct definition of “complete” for a pseudo-double category is that it admits pointwise unitary lax right Kan extensions of any lax double functor ( small) along all lax double functor along a lax double functor , where satisfies the “right Conduché condition: that the laxity 2-cell for vertical composition in ,
is exact. Here, is the category of objects and horizontal morphisms of , and is the category of arrows and 2-cells.
The situation for cocompleteness is dual, replacing lax by colax everywhere.
For more on this see Grandis and Paré, Theorem 5.2.
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.
J. Giraud, Méthode de la descente, Bull. Math. Soc. Mémoire 2 (1964). (numdam)
F. Conduché, Au sujet de l’existence d’adjoints à droite aux foncteurs ‘image reciproque’ dans la catégorie des catégories , C. R. Acad. Sci. Paris 275 Série A (1972) pp.891-894. (gallica)
Marco Grandis, Robert Paré Lax Kan extensions for double categories (on weak double categories, part IV) , Cahiers de topologie et géométrie différentielle catégoriques, tome 48, no 3 (2007), p. 163-199
Some of 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 (e.g. see Lemma 6.1 for a proof that Conduché implies exponentiability):
A description of the characterization in terms of lax normal functors can be found in
Discrete Conduché functors are considered in
M. Bunge, S. Niefield, Exponentiability and single universes , JPAA 148 (2000) pp.217-250.
Peter Johnstone, A Note on Discrete Conduché Fibrations , TAC 5 no.1 (1999) pp.1-11. (pdf)
An analogue of Conduché functors for ∞-categories, classified by maps into an ∞-category version of Prof, is studied in
A discussion of ULF functors (including the fact they form a factorisation system) is contained in:
Pullback-homomorphisms, n-Category Café (2010)
Tom Leinster, Notions of Möbius inversion, Bulletin of the Belgian Mathematical Society-Simon Stevin 19.5 (2012): 909-933.
Last revised on September 21, 2024 at 12:23:36. See the history of this page for a list of all contributions to it.