一致可动范畴与拓扑空间的一致可动性

可动性概念从逆系统与形状理论中的范畴化推广由第一作者给出，其定义了可动范畴的概念，并借此解释了拓扑空间的可动性。本文作者定义了一致可动范畴的概念，并证明一个拓扑空间在形状理论意义下是一致可动的，当且仅当它在多面体子范畴 HPol 之上的同伦范畴 HTop 中的逗号范畴是一致可动范畴。这是第二作者引入的均匀可动性范畴概念的弱化版本。