pith. sign in

arxiv: 1406.2619 · v1 · pith:IMLOB4MHnew · submitted 2014-06-10 · 🧮 math.AT

How to construct a Hovey triple from two cotorsion pairs

classification 🧮 math.AT
keywords mathcalwidetildeabeliancategoryclasscofibrantcompleteconstruct
0
0 comments X
read the original abstract

Let $\mathcal{A}$ be an abelian category, or more generally a weakly idempotent complete exact category, and suppose we have two complete hereditary cotorsion pairs $(\mathcal{Q}, \widetilde{\mathcal{R}})$ and $(\widetilde{\mathcal{Q}}, \mathcal{R})$ in $\mathcal{A}$ satisfying $\widetilde{\mathcal{R}} \subseteq \mathcal{R}$ and $\mathcal{Q} \cap \widetilde{\mathcal{R}} = \widetilde{\mathcal{Q}} \cap \mathcal{R}$. We show how to construct a (necessarily unique) abelian model structure on $\mathcal{A}$ with $\mathcal{Q}$ (respectively $\widetilde{\mathcal{Q}}$) as the class of cofibrant (resp. trivially cofibrant) objects and $\mathcal{R}$ (respectively $\widetilde{\mathcal{R}}$) as the class of fibrant (resp. trivially fibrant) objects.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.