2014/06/10 by Gillespie, James · 2 citations
#Algebraic Topology (math.AT) #FOS: Mathematics
paper · doi:10.48550/arxiv.1406.2619
Let A be an abelian category, or more generally a weakly idempotent complete exact category, and suppose we have two complete hereditary cotorsion pairs (Q, \widetildeR) and (\widetildeQ, R) in A satisfying \widetildeR ⊆ R and Q ∩ \widetildeR = \widetildeQ ∩ R. We show how to construct a (necessarily unique) abelian model structure on A with Q (respectively \widetildeQ) as the class of cofibrant (resp. trivially cofibrant) objects and R (respectively \widetildeR) as the class of fibrant (resp. trivially fibrant) objects.