1: \begin{definition} \label{def:K-comonad}

2: We now fix a choice of the Quillen equivalence provided by Theorem~\ref{thm:models} and consider the composite of the two adjunctions (with left adjoints on top):

3: \begin{equation} \label{eq:adjs}

4: \begin{xy}

5:   (0,0)*+{\cat{A}_c}="a";(15,0)*+{\cat{A}}="b";(30,0)*+{\cat{B}}="c";

6:   {\ar^{u}@<0.5ex>"a";"b"};{\ar^{c}@<0.5ex>"b";"a"};

7:   {\ar^{F}@<0.5ex>"b";"c"};{\ar^{G}@<0.5ex>"c";"b"};

8: \end{xy}

9: \end{equation}

10: Let $(F',G')$ be the functors in this composed Quillen adjunction, i.e. $F' = Fu$ and $G' = cG$. We then view $(F',G')$ as a homotopically well-behaved version of the original adjunction $(F,G)$. In particular, notice that $F'$ and $G'$ both preserve all weak equivalences.

11: 

12: We define a comonad $K : \cat{B} \to \cat{B}$ by

13: \[ K = F'G' \]

14: with comultiplication/counit maps coming from the unit/counit for the adjunction. The comonad $K$ is also simplicial because it a composite of simplicial functors.

15: \end{definition}

16: