集合生成的 t-结构的 hearts 具有一组生成元

我们证明：如果 $\alpha$ 是正则基数，$\mathcal{D}$ 是 Neeman 意义下的 $\alpha$-紧生成三角范畴，且 $\tau$ 是由一组 $\alpha$-紧对象生成的 $\mathcal{D}$ 中的 t-结构，那么 $\tau$ 的 heart 是局部 $\alpha$-可表示的（不一定满足 Ab5）阿贝尔范畴。作为推论，在良生成三角范畴中，任何由一组对象生成的 t-结构的 heart 都具有一组生成元。