nLab canonical model structure on 2-categories

Contents

Idea

Just as the category Cat of categories can be equipped with a canonical model structure, namely the canonical model structure on categories, so too can 2Cat, the category of strict 2-categories. This extends to weak 2-categories too, although in order to actually have a category on which to put the model structure, one has to work with strict 2-functors.

The characterising feature of a canonical model structure on 2Cat is that the weak equivalences should be equivalences of 2-categories, categorifying the fact that the equivalences in the canonical model structure on categories are equivalences of categories. What the fibrations and cofibrations should be, or more specifically how to categorify isofibrations and iso-cofibrations, is one of the main points to resolve to obtain the model structure.

What is usually referred to as the canonical model structure on 2-categories is a model structure first described by Lack in Lack2002 and Lack2004. In this model structure, the fibrations are Lack fibrations, and every object is fibrant, but not every object is cofibrant, in contrast to the canonical model structure on categories.

However, it is possible to put a different canonical model structure on 2Cat in which every object is both fibrant and cofibrant, using the thesis Williamson2011. The fibrations in this case are, roughly speaking, those 2-functors in which semi-strict equivalences? can be lifted.

Lack model structure

The following is Theorem 4 in Lack2004.

Theorem

There is a model structure on 2Cat in which the equivalences are equivalences of 2-categories, and the fibrations are Lack fibrations.

Canonical model structure in which every object is both fibrant and cofibrant

Throughout this section, let semi\mathcal{E}_{semi} denote the free-standing semi-strict equivalence.

Definition

A semi-strict equiv-fibration is a 2-functor p:𝒜p: \mathcal{A} \rightarrow \mathcal{B} such that, for any (strictly) commutative diagram

in 2Cat, there is a functor l:𝒳× semi𝒜l: \mathcal{X} \times \mathcal{E}_{semi} \rightarrow \mathcal{A} such that the following diagram in 2Cat (strictly) commutes.

Definition

A semi-strict equiv-cofibration is a 2-functor j:𝒜j: \mathcal{A} \rightarrow \mathcal{B} such that, for any (strictly) commutative diagram

in 2Cat, there is a functor k:× semi𝒳k: \mathcal{B} \times \mathcal{E}_{semi} \rightarrow \mathcal{X} such that the following diagram in 2Cat (strictly) commutes.

Definition

A 2-functor f:𝒜f: \mathcal{A} \rightarrow \mathcal{B} is a semi-strict equivalence of 2-categories if there is a 2-functor h:𝒜× semih: \mathcal{A} \times \mathcal{E}_{semi} \rightarrow \mathcal{B} such that the 2-functor h(id×0):𝒜h \circ \left( id \times 0 \right): \mathcal{A} \rightarrow \mathcal{B} is equal to ff.

Theorem

The category 2Cat can be equipped with a model structure in which the weak equivalences are semi-strict equivalences of 2-categories, the fibrations are semi-strict equiv-fibrations, and the cofibrations are semi-strict equiv-cofibrations.

Proof

By the section ‘Structured interval’ of the page walking equivalence, semi\mathcal{E}_{semi} can be equipped with the structure of an interval object, and embellished with all the structures of Williamson2011 which are required for Corollary XV.6 and/or Corollary XV.7 of this work, satisfying all the hypotheses of these corollaries. Applying these corollaries, we immediately obtain the theorem.

References

Last revised on September 16, 2020 at 11:35:21. See the history of this page for a list of all contributions to it.