nLab functorial factorization

Contents

Contents

Idea

A functorial factorization is a structure on a category that factors any morphism into a composite of two morphisms, in a way that depends functorially on commutative squares.

Functorial factorizations play a prominent role in model category theory. On the one hand, many constructions there do rely on the factorizations into (acyclic) cofibrations and (acyclic) fibrations to be functorial, while, on the other hand, via the small object argument many examples of model categories do in fact carry a functorial factorization. (As a result, some authors include functorial factorization in the axioms of a model category right away.)

Functorial factorizations also play an important role as an ingredient in algebraic weak factorization systems.

Definition

Concrete explicit

Definition

A functorial factorization on a category 𝒞\mathcal{C} is a way of assigning to any arrow ff in 𝒞\mathcal{C} a pair of composable arrows f L,f Rf_L, f_R such that f=f Rf Lf = f_R \circ f_L, together with for any commuting square

h f g k \array{ & \overset{h}{\longrightarrow} \\ {}^{\mathllap{f}}\downarrow && \downarrow^{\mathrlap{g}} \\ & \overset{k}{\longrightarrow} }

a morphism E(h,k)E(h,k) completing their factorizations f=f Rf Lf = f_R \circ f_L and g=g Rg Lg = g_R \circ g_L to a further commuting diagram

h f L g L E(h,k) f R g R k, \array{ & \overset{h}{\longrightarrow} \\ {}^{\mathllap{f_L}}\downarrow && \downarrow^{\mathrlap{g_L}} \\ & \overset{E(h,k)}{\longrightarrow} \\ {}^{\mathllap{f_R}}\downarrow && \downarrow^{\mathrlap{g_R}} \\ & \overset{k}{\longrightarrow} } \,,

in a way that depends functorially on the given commutative square, i.e. E(h 1h 2,k 1k 2)=E(h 1,k 1)E(h 2,k 2)E(h_1\circ h_2,k_1\circ k_2) = E(h_1,k_1) \circ E(h_2,k_2).

Abstract version

Write Δ[1]={01}\Delta[1] = \{0 \to 1\} and Δ[2]={012}\Delta[2] = \{0 \to 1 \to 2\} for the ordinal numbers, regarded as posets and hence as categories. The arrow category Arr(𝒞)Arr(\mathcal{C}) is equivalently the functor category 𝒞 Δ[1]Funct(Δ[1],𝒞)\mathcal{C}^{\Delta[1]} \coloneqq Funct(\Delta[1], \mathcal{C}), while 𝒞 Δ[2]Funct(Δ[2],𝒞)\mathcal{C}^{\Delta[2]}\coloneqq Funct(\Delta[2], \mathcal{C}) has as objects pairs of composable morphisms in 𝒞\mathcal{C}. There are three injective functors δ i:[1][2]\delta_i \colon [1] \rightarrow [2], where δ i\delta_i omits the index ii in its image. By precomposition, this induces functors d i:𝒞 Δ[2]𝒞 Δ[1]d_i \colon \mathcal{C}^{\Delta[2]} \longrightarrow \mathcal{C}^{\Delta[1]}. Here

  • d 1d_1 sends a pair of composable morphisms to their composition;

  • d 2d_2 sends a pair of composable morphisms to the first morphism;

  • d 0d_0 sends a pair of composable morphisms to the second morphism.

Definition

For 𝒞\mathcal{C} a category, a functorial factorization of the morphisms in 𝒞\mathcal{C} is a functor

fact:𝒞 Δ[1]𝒞 Δ[2] fact \;\colon\; \mathcal{C}^{\Delta[1]} \longrightarrow \mathcal{C}^{\Delta[2]}

which is a section of the composition functor d 1:𝒞 Δ[2]𝒞 Δ[1]d_1 \;\colon\; \mathcal{C}^{\Delta[2]}\to \mathcal{C}^{\Delta[1]}.

Examples

Properties

Enriched functorial factorizations

Sufficient conditions in enriched category theory (in particular enriched model category-theory) for functorial factorization to exist as an enriched functor is discussed in Hirschhorn 02, Theorem 4.3.8, Shulman 06, Prop. 24.2

Equivalence to pointed endofunctors

Proposition

The following are equivalent:

  1. A functorial factorization on 𝒞\mathcal{C}.
  2. A pointed endofunctor RR of 𝒞 Δ[1]\mathcal{C}^{\Delta[1]} such that cod:𝒞 Δ[1]𝒞cod : \mathcal{C}^{\Delta[1]} \to \mathcal{C} is a strict morphism of pointed endofunctors from RR to Id 𝒞Id_{\mathcal{C}}, i.e. codR=codcod \circ R = cod and codcod maps the point Id 𝒞 Δ[1]RId_{\mathcal{C}^{\Delta[1]}}\to R to the identity map of Id 𝒞Id_{\mathcal{C}}. (This is called a pointed endofunctor over codcod.)
  3. Dually, a copointed endofunctor LL of 𝒞 Δ[1]\mathcal{C}^{\Delta[1]} under domdom.
Proof

A endofunctor RR of 𝒞 Δ[1]\mathcal{C}^{\Delta[1]} maps every morphism ff in 𝒞\mathcal{C} to a morphism f Rf_R, in a functorial way. A point of such an endofunctor assigns to each ff a pair of morphisms f L,f Mf_L, f_M such that f Rf L=f Mff_R \circ f_L = f_M\circ f, naturally with respect to commutative squares. To say codR=codcod \circ R = cod means that f Rf_R has the same codomain as ff, and to say that codcod respects the points says that f Mf_M is an identity. Thus, f=f Rf Lf = f_R \circ f_L is a factorization. For functoriality, the functoriality of RR gives the commutative square kf=f RE(h,k)k \circ f = f_R \circ E(h,k) and the functoriality of E(,)E(-,-), while the naturality of () L(-)_L gives the commutative square E(h,k)f=f LhE(h,k) \circ f = f_L \circ h. The converse and dual are straightforward.

An algebraic weak factorization system is a functorial factorization together with compatible enhancements of these endofunctors to a monad and comonad. This can often be detected with the help of a composition law for factorizations.

References

Last revised on June 4, 2020 at 06:00:51. See the history of this page for a list of all contributions to it.