nLab
codomain fibration

Contents

Definition

For CC any category, there is a functor

t:[I,C]C, t : [I,C] \to C \,,

from the arrow category [I,C]=Arr(C)[I,C] = Arr(C) that sends each morphism (c 1fc 2)[I,C](c_1 \stackrel{f}{\to} c_2) \in [I,C] to its codomain c 2c_2.

This functor is always an opfibration. It corresponds under the Grothendieck construction to the pseudofunctor

C/():CCat C/(-) : C \to Cat

that sends each object cCc \in C to the overcategory C/cC/c.

If CC has all pullbacks, then the functor is in addition a fibration, hence a bifibration. Traditionally, though, its fibered aspect is emphasised (and it even motivates the notion of cartesianess for categories over categories). A right adjoint u *u_* of u *u^* exists for every morphism uu in CC iff C is a locally cartesian closed category.

This functor cod:[I,C]Ccod : [I,C] \to C is called the codomain fibration of CC.

Some say basic fibration or self-indexing or the fundamental fibration — anything with so many names must be important!

If instead of the codomain the domain is used, one obtains the dual notion: domain opfibration.

Details

We spell out the details of the functor, of its cartesian and opcartesian morphisms and their properties.

The arrow category

Recall from the discussion at arrow category that the objects in Arr(C)Arr(C) are morphisms in CC and the morphisms (f:x 1x 2)(g:y 1y 2)(f:x_1\to x_2)\to (g: y_1\to y_2) in Arr(C)Arr(C) are the commutative squares in CC of the form

x 1 v y 1 f g x 2 u y 2\array{ x_1 &\stackrel{v}\to& y_1 \\ \downarrow\mathrlap{f} && \downarrow\mathrlap{g} \\ x_2 &\stackrel{u}\to& y_2 }

with the obvious composition.

The functor

The functor cod:Arr(C)C cod : Arr(C)\to C is given on objects by the codomain (= target) map, and on morphisms it gives the lower arrow of the commutative square.

cod:(x 1 v y 1 f g x 2 u y 2)(x 2uy 2). cod : \;\; \left( \array{ x_1 &\stackrel{v}\to& y_1 \\ \downarrow\mathrlap{f} && \downarrow\mathrlap{g} \\ x_2 &\stackrel{u}\to& y_2 } \right) \;\; \mapsto \;\; (x_2 \stackrel{u}\to y_2) \,.

If we write [I,C][I,C] for the arrow category, where II is the interval category I={ab}I = \{a \to b\}, then this functor is the hom-functor applied to the inclusion ι 1:b{ab}\iota_1 : {b} \to \{a \to b\}

cod=Hom C(ι 1,):[I,C][*,C]=C. cod = Hom_C(\iota_1, -) : [I,C] \to [{*}, C] = C \,.

The op-cartesian lifts

That the functor cod:[I,C]Ccod : [I,C] \to C is an opfibration means that for each object c^ 1c 1\hat c_1 \to c_1 of [I,C][I,C], each morphism c 1fc 2c_1 \stackrel{f}{\to} c_2 in CC has a lift to a morphism

c^ 1 ?? c 1 c 2 \array{ \hat c_1 &\to& ?? \\ \downarrow && \downarrow \\ c_1 &\to& c_2 }

in [I,C][I,C] that is a opcartesian morphism.

Such a lift is given by

c^ 1 Id c^ 1 c 1 c 2. \array{ \hat c_1 &\stackrel{Id}{\to}& \hat c_1 \\ \downarrow && \downarrow \\ c_1 &\to& c_2 } \,.

For given any commuting triangle

c 2 c 1 c 3 \array{ && c_2 \\ & \nearrow && \searrow \\ c_1 &&\to&& c_3 }

in CC, and any lift

c^ 1 d c 1 c 3 \array{ \hat c_1 &\to& d \\ \downarrow && \downarrow \\ c_1 &\to& c_3 }

of c 1c 3c_1 \to c_3, there is the unique lift

c^ 1 d c 2 c 3 \array{ \hat c_1 &\to& d \\ \downarrow && \downarrow \\ c_2 &\to& c_3 }

such that

(c^ 1 Id c^ 1 d c 1 c 2 c 3)=c^ 1 d c 1 c 3. \left( \array{ \hat c_1 &\stackrel{Id}{\to}& \hat c_1 &\to& d \\ \downarrow && \downarrow && \downarrow \\ c_1 &\to& c_2 &\to& c_3 } \right) \;\;\; = \;\;\; \array{ \hat c_1 &\to& d \\ \downarrow && \downarrow \\ c_1 &\to& c_3 } \,.

The cartesian lifts

If CC has pullbacks, then cod:[I,C]Ccod : [I,C] \to C is in addition a fibered category in the sense of Grothendieck:

for every object c^ 2c 2\hat c_2 \to c_2 in [I,C][I,C], the cartesian lift of a morphism c 1c 2c_1 \to c_2 in CC is given by the morphism

c 1× c 2c^ 2 c^ 2 c 1 c 2. \array{ c_1 \times_{c_2} \hat c_2 &\to& \hat c_2 \\ \downarrow && \downarrow \\ c_1 &\to& c_2 } \,.

Because for

c 3 c 1 c 2 \array{ && c_3 \\ & \swarrow && \searrow \\ c_1 &&\to&& c_2 }

any commuting triangle in CC, and for

d c^ 2 c 3 c 2 \array{ d &\to& \hat c_2 \\ \downarrow && \downarrow \\ c_3 &\to& c_2 }

any lift of c 3c 2c_3 \to c_2 in [I,C][I,C], which by the commutativity of the triangle we may write as

d c^ 2 c 3 c 1 c 2 \array{ d &\to& &\to& \hat c_2 \\ \downarrow && && \downarrow \\ c_3 &\to& c_1 &\to& c_2 }

there is, precisely by the universal property of the pullback, a unique morphism, dc 1× c 2c^ 2d\to c_1 \times_{c_2} \hat c_2 in CC such that this factors as

d c 1× c 2c^ 2 c^ 2 c 3 c 1 c 2. \array{ d &\to& c_1 \times_{c_2} \hat c_2 &\to& \hat c_2 \\ \downarrow && \downarrow && \downarrow \\ c_3 &\to& c_1 &\to& c_2 } \,.

Direct image operation

Recall that in an opfibration p:EBp : E\to B , the direct image f !f_! of an object eEe \in E along a morphism p(e)dp(e) \to d is the codomain f !(e)f_!(e) of the opcartesian lift f^:ef !e\hat f : e \to f_! e of ff.

By the above discussion this means that in the codomain opfibration cod:[I,C]Ccod : [I,C] \to C the direct image of an object c^ 1c 1\hat c_1 \to c_1 in [I,C][I,C] along some morphism f:c 1c 2f : c_1 \to c_2 is the composite morphism c^ 1c 1c 2\hat c_1 \to c_1 \to c_2 in CC, regarded as an object in [I,C][I,C]: this yields the functor

f !:C/c 1C/c 2 f_! : C/{c_1} \to C/{c_2}

of overcategories obained by postcomposition with ff.

Inverse image operation

Recall that in an fibration p:EBp : E\to B , the inverse image f *f^* of an object eEe \in E along a morphism dp(e)d \to p(e) is the domain f *(e)f^*(e) of the cartesian lift f^:f *ee\hat f : f^* e \to e of ff.

By the above discussion this means that in the codomain fibration cod:[I,C]Ccod : [I,C] \to C the inverse image of an object c^ 2c 2\hat c_2 \to c_2 in [I,C][I,C] along some morphism f:c 1c 2f : c_1 \to c_2 is the morphism out of the pullback f *c 2=c 1× c 2c^ 2c 1f^* c_2 = c_1 \times_{c_2} \hat c_2 \to c_1 in CC, regarded as an object in [I,C][I,C]: this yields the functor

C/c 1C/c 2:f * C/{c_1} \leftarrow C/{c_2} : f^*

of overcategories obained by pullback.

Adjointness of direct and inverse image

For every morphism f:c 1c 2f : c_1 \to c_2 in CC, the direct and inverse image functors are a pair of adjoint functors

f !:C/c 1C/c 2:f * f_! : C/{c_1} \to C/{c_2} : f^*

with f !f_! left adjoint and f *f^* right adjoint, f !f *f_! \dashv f^*.

By the above discussion, the adjunction isomorphism

Hom C 2(f !c^ 1,c^ 2)Hom C 1(c^ 1,f *c^ 2) Hom_{C_2}(f_! \hat c_1, \hat c_2) \simeq Hom_{C_1}(\hat c_1, f^*\hat c_2)

is given by the universal property of the pullback operation, which says that morphisms

(f !c^ 1c^ 2)=(c^ 1 c^ 2 c 1 c 2) (f_! \hat c_1 \to \hat c_2) = \left( \array{ \hat c_1 &\to& \hat c_2 \\ \downarrow && \downarrow \\ c_1 &\to& c_2 } \right)

factor uniquely through the pullback

(c^ 1 c 1× c 2c^ 2 c^ 2 c 1 c 2) \left( \array{ \hat c_1 &\to& c_1 \times_{c_2} \hat c_2 &\to& \hat c_2 \\ &\searrow & \downarrow && \downarrow \\ && c_1 &\to& c_2 } \right)

and hence uniquely correspond to morphisms

(c^ 1f *c^ 2)=(c^ 1 c 1× c 2c^ 2 c 1 c 2). (\hat c_1 \to f^* \hat c_2) = \left( \array{ \hat c_1 &\to& c_1 \times_{c_2} \hat c_2 \\ \downarrow && \downarrow \\ c_1 &\to& c_2 } \right) \,.

If CC is a model category, and u:cdu:c\to d a morphism in CC, we can consider the induced model structure on the overcategories C/cC/c, and C/dC/d. The adjoint pair

u !:C/cC/d:u * u_! : C/c \leftrightarrows C/d : u^*

is then a Quillen pair.

Monadic descent

Since the codomain fibration cod:[I,C]Ccod : [I,C] \to C is a bifibration when CC has all pullbacks, there is a notion of monadic descent in this case. Details on this are at monadic descent for codomain fibrations.

In higher category theory

We discuss the codomain fibration in higher category theory.

In 2-category theory

A categorification in dimension 2 (see 2-category theory) is a codomain 2-fibration, whose main example is Cat 2Cat^2 over CatCat.

Mike Shulman: I still don’t believe that that is a 2-fibration. How do you lift the 2-cells?

David Roberts: How does one lift the 2-cells in a 2-fibration anyway? The case of Cat 2CatCat^\mathbf{2}\to Cat (using weak 2-functors in Cat 2Cat^\mathbf{2}) should in my opinion be an guiding example for this. Although, perhaps it would be better to consider (at least at first) the underlying (2,1)-category or even the (2,1)-category GpdGpd.

Mike Shulman: I think the guiding example of a 2-fibration should actually be FibCatFib \to Cat, as in Hermida’s paper. There, you can lift the 2-cells, because in each fibration you can lift the 1-cells.

In (,1)(\infty,1)-category theory

Let 𝒳\mathcal{X} be an (∞,1)-category.

Proposition

The codomain fibration

Cod:𝒳 I𝒳 Cod : \mathcal{X}^I \to \mathcal{X}

is an coCartesian fibration.

It is classified under the (∞,1)-Grothendieck construction by

A𝒳 /A, A \mapsto \mathcal{X}_{/A} \,,

where on the right we have the over-(∞,1)-category.

This is a special case of (Lurie, corollary 2.4.7.12).

For 𝒳\mathcal{X} an (∞,1)-topos, this is the canonical (infinity,2)-sheaf.

As a universe

(…)

H\mathbf{H} an (∞,1)-topos the codomain fibration is the dependent sum

Type:H /TypeH /*H \sum_{Type} : \mathbf{H}_{/Type} \to \mathbf{H}_{/*} \simeq \mathbf{H}

where TypeHType \in \mathbf{H} is the object classifier, of some size. This is the internal universe. Since the slice (∞,1)-topos H /X\mathbf{H}_{/X} is the context given by XX, in a precise sense H /Type\mathbf{H}_{/Type} is the “context of the universe”. And so this says that the codomain fibration is the “context of the universe” regarded over the base \infty-topos which is the “outermost universe”.

(…)

References

Secton 2.4.7 of

Revised on April 14, 2014 23:47:59 by David Corfield (46.208.3.134)