关于 Frobenius 范畴中稳定图的提升
范畴论
2007-05-23 v3
摘要
设给定 Frobenius 范畴 E，即一个带有足够大的双射子范畴 B 的精确范畴。令 _E_ := E/B 表示其经典稳定范畴。例如，我们可以取 E 为在加法范畴 A 中取值的复形范畴 C(A)，此时 _E_ 是复形的同伦范畴 K(A)。设给定满足 ind-平坦这一组合条件的有限偏序集 D。那么，给定一个以 D 为形状、取值于 _E_ 的图（即同伦交换），则存在一个由纯单态射构成、取值于 E 的图（即交换），且作为取值于 _E_ 的图同构于给定图。
引用
@article{arxiv.math/0509056,
title = {On lifting stable diagrams in Frobenius categories},
author = {Matthias Kuenzer},
journal= {arXiv preprint arXiv:math/0509056},
year = {2007}
}
备注
Added discussion of the connection to related work of Cooke, Dwyer-Kan-Smith and Mitchell. To appear in Homology, Homotopy and Applications