广义有界粗空间与粗动机谱

我们通过去掉单点子集有界这一条件推广了有界性（bornology）的概念，并得到了有界粗空间范畴的一个完备且余完备的推广。随后我们在此新设定下模仿粗动机谱的构造，并证明从有界粗空间范畴到其推广的包含函子诱导出粗动机谱的等价。特别地，对任意稳定的余完备 $\infty$-范畴 $C$，它诱导出有界粗空间上 $C$ 值粗同调论范畴与广义有界粗空间上 $C$ 值粗同调论范畴之间的等价。