关于在Frobenius范畴中提升稳定图的问题
摘要：在给定一个Frobenius范畴E的情况下，即具有足够大的双射子范畴B的准确范畴。令_E_ := E/B表示它的经典稳定范畴。例如，我们可以取E为具有加性范畴A中的项的复合体C(A)，此时_E_就是复合体K(A)的同伦范畴。假设给定一个满足指标平坦的组合条件的有限偏序D。那么，给定一个具有值在_E_中的形状为D的图表（即在同伦意义下是可交换的），存在一个由纯单态射组成、以E为值的图表（即可交换的），该图表在_E_范畴下与给定的图表同构。
作者：Matthias Kuenzer
论文ID：math/0509056
分类：Category Theory
分类简称：math.CT
提交时间：2007-05-23