nLab Quillen bifunctor

Redirected from "right Quillen bifunctor".
Contents

Context

Model category theory

model category, model \infty -category

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of (,1)(\infty,1)-categories

Model structures

for \infty-groupoids

for ∞-groupoids

for equivariant \infty-groupoids

for rational \infty-groupoids

for rational equivariant \infty-groupoids

for nn-groupoids

for \infty-groups

for \infty-algebras

general \infty-algebras

specific \infty-algebras

for stable/spectrum objects

for (,1)(\infty,1)-categories

for stable (,1)(\infty,1)-categories

for (,1)(\infty,1)-operads

for (n,r)(n,r)-categories

for (,1)(\infty,1)-sheaves / \infty-stacks

Contents

Idea

A (left) Quillen bifunctor is a functor of two variables between model categories that respects combined cofibrations in its two arguments in a suitable sense.

The notion of Quillen bifunctor enters the definition of monoidal model category and of enriched model category.

Definition

Definition

(Quillen bifunctor)
Let C,D,EC, D, E be model categories. A functor F:C×DEF \,\colon\, C \times D \to E (out of the product category of CC with DD) is a Quillen bifunctor if it satisfies the following two conditions:

  1. it preserves colimits separately in each variable,

  2. (pushout-product axiom):

    for any

    the induced pushout product-morphism

    F(c,d)⨿F(c,d)F(c,d)F(c,d) F(c', d) \overset {F(c,d)} {\amalg} F(c,d') \longrightarrow F(c', d')

    is a cofibration in EE, which is a weak equivalence if either ii or jj is a weak equivalence.

Remark

In more detail, the pushout appearing in the first condition in Def. is the one sitting in the following pushout square:

F(c,d) F(Id,j) F(c,d) F(i,Id) F(c,d) F(c,d) F(c,d)F(c,d). \array{ F(c,d) &\stackrel{F(Id,j)}{\to}& F(c,d') \\ \;\;\downarrow^{F(i,Id)} && \downarrow \\ F(c',d) &\stackrel{}{\to}& F(c', d) \coprod_{F(c,d)} F(c,d') } \,.

In particular, if i=(c)i = (\varnothing \hookrightarrow c) (for \varnothing denoting the initial object) we have F(,d)=F(,d)=F(\varnothing, d) = F(\varnothing, d') = \varnothing (since the initial object is the colimit over the empty diagram and FF is assumed to preserve colimits) and the above pushout diagram reduces to

F(c,d) F(c,d). \array{ \emptyset &{\to}& \emptyset \\ \;\;\downarrow && \downarrow \\ F(c,d) &\stackrel{}{\to}& F(c,d) } \,.

Therefore:

Properties

Proposition

Let :C×DE\otimes \colon C \times D \to E be an adjunction of two variables between model categories and assume that CC and DD are cofibrantly generated model categories. Then \otimes is a Quillen bifunctor precisely if it satisfies its axioms on generating (acyclic) cofibrations, i.e. if for f:c 1c 2f \colon c_1 \to c_2 and g:d 1d 2g \colon d_1 \to d_2 we have for the morphism

(c 1d 2) c 1d 1(c 2d 1)c 2d 2 (c_1 \otimes d_2) \coprod_{c_1 \otimes d_1} (c_2 \otimes d_1) \to c_2 \otimes d_2

is

  • a cofibration if both ff and gg are generating cofibrations;

  • an acyclic cofibration if one is a generating cofibration and the other a generating acyclic cofibration.

This appears for instance as Corollary 4.2.5 in

Applications

Monoidal and enriched model categories

Lift to coends over tensors

The following proposition asserts that under mild conditions a Quillen bifunctor on C×DC \times D lifts to a Quillen bifunctor on functor categories of functors to CC and DD.

Proposition

Let :C×DE\otimes : C \times D \to E be a Quillen functor. Let

Then the coend functor

S():[S,C]×[S op,D]E \int^{S} (- \otimes -) : [S,C]\times [S^{op},D] \to E

is again a ´Quillen bifunctor.

This Lurie, prop. A.2.9.26 with remark A.2.9.27.

It follows that the corresponding left derived functor computes the corresponding homotopy coend.

Bousfield-Kan type homotopy colimits

This is an application of the above application.

Let CC be a category and AA be a simplicial model category. Let F:CAF : C \to A be a functor and let *:C opA{*} : C^{op} \to A be the functor constant on the terminal object.

Consider the global model structure on functors [C op,SSet] proj[C^{op},SSet]_{proj} and [C op,A] inj[C^{op},A]_{inj} and let Q(*) projQ({*})_{proj} be a cofibrant replacement for *{*} in [C op,Set] proj[C^{op},Set]_{proj} and Q inj(F)Q_{inj}(F) a cofibrant replacement for FF in [C,A] inj[C,A]_{inj}.

One show that the homotopy colimit over FF is computed as the coend or weighted limit

hocolimF=Q proj(*)Q inj(F). hocolim F = \int Q_{proj}({*}) \cdot Q_{inj}(F) \,.

One possible choice is

Q proj(*)=N(/C) op. Q_{proj}({*}) = N(-/C)^{op} \,.

That this is indeed a projectively cofibrant resulution of the constant on the terminal object is for instance shown in Hirschhorn (2002), Prop 14.8.9.

For the case that C=Δ opC = \Delta^{op} (the opposite of the simplex category) this is the classical choice in the discussion of the Bousfield-Kan map.

Assume that AA takes values in cofibrant objects of AA, then it is already cofibrant in the injective model structure on functors [C,A] inj[C,A]_{inj} and we can take Q inj(F)=FQ_{inj}(F) = F. Then the above says that

hocolimF=N(/C) opF. hocolim F \,=\, \int N(-/C)^\op \cdot F \,.

For C=C = Δ \Delta this is the classical prescription by Bousfield-Kan for homotopy colimits, see also the discussion at weighted limit.

Using the above proposition, it follows in particular explicitly that the homotopy colimit preserves degreewise cofibrations of functors over which it is taken.

A nice discussion of this is in Gambino (2010).

References

Last revised on May 21, 2023 at 12:39:08. See the history of this page for a list of all contributions to it.