model category

for ∞-groupoids

# Contents

## Idea

A locally cartesian closed model category is a locally cartesian closed category which is equipped with the structure of a model category in a compatible way.

## Definition

A model category $\mathcal{C}$ which is additionally a locally cartesian closed category is called a locally cartesian closed model category if for any fibration $g\colon A\to B$ between fibrant objects, the dependent product adjunction

$g^* : \mathcal{C}/B \rightleftarrows \mathcal{C}/A : \Pi_g$

is a Quillen adjunction between the corresponding slice model structures.

Concretely, this means that both cofibrations and trivial cofibrations are stable under pullback along fibrations between fibrant objects.

Equivalently this means that for all $A \to B$ as above the internal hom adjunction in the slice category over $B$

$(-) \times_{\mathcal{C}/_B} A \;:\; \mathcal{C}/_B \rightleftarrows \mathcal{C}/_B \;:\; [A, -]_{\mathcal{C}/_B}$

## Versus locally cartesian closed $(\infty,1)$-categories
It is easy to see that the $(\infty,1)$-category presented by a locally cartesian closed model category is itself locally cartesian closed. Conversely, any locally presentable locally cartesian closed $(\infty,1)$-category can be presented by some right proper Cisinski model category, which is therefore a locally cartesian closed model category; see locally cartesian closed (infinity,1)-category for the proof.