Redirected from "morphisms of sites".
Contents
Contents
Idea
In the context of factorization systems such as they appear notably in enriched model category one frequently needs to handle iterated lifting problems. In the appendix of (Joyal–Tierney, 06) a symbolic calculus is introduced to facilitate these computations.
A central point of it is to have the statement of prop. below be easily expressible in terms of “division on both sides”-operations.
The calculus
Lifting
Let be a category (locally small).
Notation
For , write
if has the left lifting property against , or equivalently if has the right lifting property against .
For an object, write
to indicate that for the morphism the induced hom set morphism
is surjective, dually for
In the case that has a terminal object we have equivalently
and if has an initial object we have equivalently
Accordingly, for write and for the class of morphisms with left or right lifting property against all elements of , respectively.
Proposition
If is a pair of adjoint functors, then
Definition
A pair of classes of morphisms in is a weak factorization system precisely if
-
every morphism in factors as the composition of a morphism in followed by a morphism in ;
-
and .
Tensoring
Let , , be three categories.
Definition
A functor
-
is called divisible on the left if for every the functor has a right adjoint, to be denoted
-
is called divisible on the right if for every the functor has a right adjoint, to be denoted
Proposition
If is divisble on both sides, then there are natural isomorphisms between the collections of morphisms
and
and
Proposition
For every , and we have
Example
If is a closed symmetric monoidal category, then its tensor product functor is divisible on both sides, the two divisions coincide and are given by the internal hom
Pushout-tensoring
Let now have finite colimits and let be a functor.
Definition
for in and in , write
for the induced pushout-product morphism, the canonical morphism out of the pushout induced from the commutativity of the diagram
Proposition
The pushout-product extends to a functor
where denotes the arrow category of .
Proposition
If in the above situation and have finite limits and is divisble on both sides, def. , then also is divisible on both sides:
-
for in and in , the left quotient is
-
for in and in , the right quotient is
A key statement now is the following, characterizing the right lifting property again pushout product morphisms:
Proposition
In the above situation, let , , have all finite limits and colimits. For all , , we have
Applications
Reedy theory
Let be a model category. Write for the simplex category and sSet for the category of simplicial sets. In the Reedy model structure on the presheaf category the following constructions are central.
Definition
Write
for the functor given by
Write
for the functor given by the coend
(Here on the right we have the canonical tensoring of over Set, where .)
Proposition
The functor is divisible on both sides.
Let . Then
-
the object is the matching object of at stage ;
-
the morphism is the canonical morphism from into the -matching object.
Let be a morphism in . Then
-
the relative matching morphism of at stage is
-
the object is the latching object at stage ;
-
the morphism is the canonical morphism out of the latching object into ;
-
the morphism is the relative latching morphism of .
References