Contents

model category

for ∞-groupoids

# Contents

## Idea

The model category structure on the category of categories with weak equivalences is a model for the (∞,1)-category of (∞,1)-categories.

Every category with weak equivalences $C$ presents under Dwyer-Kan simplicial localization a simplicially enriched category or alternatively under Charles Rezk‘s simplicial nerve a Segal space, both of which are incarnations of a corresponding (∞,1)-category $\mathbf{C}$ with the same objects of $C$, at least the 1-morphisms of $C$ and such that every weak equivalence in $C$ becomes a true equivalence (homotopy equivalence) in $\mathbf{C}$.

## Details

For the purposes of the present entry, a category with weak equivalences means the bare minimum of what may reasonably go by that name:

Definition A relative category $(C,W)$ is a category $C$ equipped with a choice of wide subcategory $W$.

A morphism in $W$ is called a weak equivalence in $C$. Notice that we do not require here that these weak equivalence satisfy 2-out-of-3, nor even that they contain all isomorphisms.

A morphism $(C_1,W_1) \to (C_2,W_2)$ of relative catgeories is a functor $C_1 \to C_2$ that preserves weak equivalences.

Write $RelCat$ for the category of relative categories and such morphisms between them.

### Model category structure

The model category structure on $RelCat$ is obtained from that on bisimplicial sets modelling complete Segal spaces in Theorem 6.1 of

It is shown in Meier that categories of fibrant objects are fibrant in this model structure.

### Nerve functors

The compatibility of the various nerve and simplicial localization functors is in section 1.11 of

## References

• Lennart Meier, Fibration Categories are Fibrant Relative Categories, arxiv

Last revised on July 19, 2017 at 14:59:20. See the history of this page for a list of all contributions to it.