5
$\begingroup$

Define a model structure on $\bf Cat$ by the following rules:

  1. A weak equivalence is an equivalence of categories;
  2. A cofibration is a functor which is injective on objects;
  3. A fibration is a functor $F\colon \bf C\to D$ such that for all $C\in \bf C$, for all isomorphism $f\colon F(C)\cong D$, there exists an object $C'\in \bf C$ and an isomorphism $f'\colon C\cong C'$ such that $F(f')=f$, $F(C')=D$.

I'm stuck in proving that these condition really define a model structure on $\bf Cat$, and in particular I'm not able to show that in a diagram $ \begin{array}{ccc} \bf C &\xrightarrow{U}& \bf K \\ F\downarrow&&\downarrow G \\ \bf D &\xrightarrow[V]{}& \bf L \end{array} $

  1. (LLP) if $G$ is an acyclic fibration and $F$ a cofibration, then there exists a filling arrow $W\colon \bf D\to K$ making the diagram commute.

  2. (RLP) if $G$ is a fibration and $F$ an acyclic cofibration, then there exists a filling arrow $W\colon \bf D\to K$ making the diagram commute.

  • 0
    Acyclic fibrations are indeed strictly surjective on objects.2012-10-21

0 Answers 0