离散 cluster 范畴的度量完成

Neeman 证明了以良好度量对三角范畴进行完成后，可得到一个三角范畴。我们计算了离散 cluster 范畴相对于由内部 t-结构诱导的度量的完成。在特定情况下，这可得到一种新的三角范畴，可解释为与其相关组合模型的拓扑完成。此外，我们证明了以任意三角范畴相对于内部 aisle 度量完成后的范畴，是该三角范畴本身的一个厚子范畴。