@@ -92,7 +92,8 @@ The functor $\kappa : \Psh{\Delta} \to \Ch$ is left Quillen and sends the weak e

definition of homology. This assertion will be justified in Remark \ref{remark:polhmlgyisnotinvariant}.

\end{remark}

\begin{remark}

We could also have defined the homology of $\oo$\nbd{}categories with $K : \Psh{\Delta}\to\Ch$ instead of $\kappa : \Psh{\Delta}\to\Ch$ since these two functors are quasi-isomorphic (see \cite[Theorem 2.4]{goerss2009simplicial} for example). An advantage of the latter one is that it is left Quillen.

We could also have defined the singular homology of $\oo$\nbd{}categories

using $K : \Psh{\Delta}\to\Ch$ instead of $\kappa : \Psh{\Delta}\to\Ch$ since these two functors are quasi-isomorphic (see \cite[Theorem 2.4]{goerss2009simplicial} for example). An advantage of the latter one is that it is left Quillen.

\end{remark}

\begin{paragr}

We will also denote by $\sH^{\sing}$ the morphism of op-prederivators defined as the following composition