The induced functor on homotopy categories \[h_1H_{\mathrm{loc}}\colon h_1{\mathbf K}^b_{\mathrm{loc}}(\mathrm{Sbim}) \rightarrow h_1\mathrm{DMor}^{\mathrm{poly}, \mathrm{gr-perf}}(\mathrm{mod}_k^{\mathbb{Z}})\] agrees with the functor \(h_1{H_{\mathrm{loc}}}\) from ([001H]).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2