[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

nLab codomain fibration

Contents

Contents

Definition

For CC any category, there is a functor

t:[I,C]C, t \;\colon\; [I,C] \longrightarrow 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 Grothendieck opfibration. Under the Grothendieck construction it corresponds to the pseudofunctor

C ():CCat C_{(-)} \,\colon\, C \longrightarrow 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 Grothendieck fibration, hence a bifibration. Traditionally it is this fibered aspect is emphasised (and it even motivates the notion of Cartesian fibrations). A right adjoint u *u_* of u *u^* exists for every morphism uu in CC iff C is a locally cartesian closed category.

In any case, this functor cod:[I,C]Ccod \colon [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}\longrightarrow& y_1 \\ \big\downarrow\mathrlap{f} && \big\downarrow\mathrlap{g} \\ x_2 &\stackrel{u}\longrightarrow& 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 Cat(ι 1,1 C):[I,C][*,C]=C. cod = Hom_\text{Cat}(\iota_1, 1_C) : [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.

The Subobject Fibration

By restricting our attention to a subset of morphisms in the codomain fibration and using the notion of the skeleton of a fibration, we may define a fibration on a category 𝒞\mathcal{C} with pullbacks called the subobject fibration whose fibers are categories of subobjects for objects of 𝒞\mathcal{C}.

Beginning with the codomain fibration cod:𝒞 𝒞cod \colon \mathcal{C}^\to \longrightarrow \mathcal{C} on a category 𝒞\mathcal{C} with pullbacks (now writing C C^\to for the arrow category), we restrict our attention to the subcategory

Mono(𝒞)𝒞 , Mono(\mathcal{C})\subseteq\mathcal{C}^\to,

the full subcategory of 𝒞 \mathcal{C}^\to whose objects are monomorphisms in 𝒞\mathcal{C}, called the monomorphism category of 𝒞\mathcal{C}. The resulting functor

cod:Mono(𝒞)𝒞 cod:Mono(\mathcal{C})\to\mathcal{C}

is again a fibration since monomorphisms are stable under pullback; we will call this the monomorphism fibration of 𝒞\mathcal{C}. The fibers Mono(𝒞) XMono(\mathcal{C})_X for X𝒞X\in\mathcal{C} are thin categories since parallel monos in a slice category are equal, but they aren’t subobject categories since antisymmetry is only weakly satisfied – objects with antiparallel arrows between them are necessarily isomorphic, but not necessarily equal. To remedy this, we take the fibered skeleton of the monomorphism fibration; briefly, we convert it into an indexed category using the Grothendieck construction, take the skeleton of each index category, then turn it back into a fibration using the Grothendieck construction in the other direction. The resulting fibration is denoted

cod:Sub(𝒞)𝒞 cod:Sub(\mathcal{C})\to\mathcal{C}

and called the subobject fibration of 𝒞\mathcal{C}, and the fibers Sub(𝒞) XSub(\mathcal{C})_X are skeletal thin categories, also known as poset categories.

If we take 𝒞=Set\mathcal{C}=Set then the fibers Mono(Set) XMono(Set)_X of the monomorphism fibration are proper classes consisting of all sets isomorphic to subsets of XX, which isn’t what we want. The fibers Sub(Set) XSub(Set)_X consist of one representative from each isomorphism class of sets isomorphic to subsets of XX, and is thusly isomorphic to the powerset of XX viewed as a poset. That is, Sub(Set) X𝒫(X)Sub(Set)_X\cong\mathcal{P}(X) as posets, with equality holding if we choose the right representatives.

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

Last revised on April 1, 2023 at 16:56:04. See the history of this page for a list of all contributions to it.