数学
阿贝尔群
班级(哲学)
纯数学
车型类别
同调代数
结构化程序定理
阿贝尔范畴
集合(抽象数据类型)
离散数学
同伦范畴
函子
计算机科学
同伦
人工智能
程序设计语言
标识
DOI:10.4310/hha.2008.v10.n1.a12
摘要
Let C be an abelian category.We show that under certain hypotheses, a cotorsion pair (A, B) in C may induce two natural homological model structures on Ch(C).One is such that the (trivially) cofibrant objects form the class of (exact) complexes A for which each A n ∈ A. The other is such that the (trivially) fibrant objects form the class of (exact) complexes B for which each B n ∈ B. Special cases of these model structures such as Hovey's "locally free" model structure and "flasque" model structure have already appeared in the literature.The examples support the belief that any useful homological model structure comes from a single cotorsion pair on the ground category C. Furthermore, one of the two types of model structures we consider requires surprisingly few assumptions to exist.For example, Theorem 4.7 implies that every cotorsion pair (A, B) of R-modules which is cogenerated by a set gives rise to a cofibrantly generated homological model structure on Ch(R).
科研通智能强力驱动
Strongly Powered by AbleSci AI