关于 FP-内射对象同伦范畴的注记

对于局部有限表示的 Grothendieck 范畴 $\mathcal{A}$，我们考虑 $\mathcal{A}$ 中 FP-内射对象同伦范畴的某个子范畴，并证明其是紧生成的。在 $\mathcal{A}$ 为局部相干的情形下，我们将该子范畴等同于 $\mathcal{A}$ 中 FP-内射对象的导出范畴。我们的结果在某种意义上对偶于 Neeman 关于平坦模同伦范畴所得的结果。我们的证明基于推广由 Emmanouil 给出的纯无环复形的一个刻画。