Approximations and adjoints in homotopy categories (Q431236): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1005.0209 / rank | |||
Normal rank |
Revision as of 14:35, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Approximations and adjoints in homotopy categories |
scientific article |
Statements
Approximations and adjoints in homotopy categories (English)
0 references
26 June 2012
0 references
The main result of the paper is the following criterion for the existence of right approximations in cocomplete additive categories. Let \({\mathcal A}\) be a locally presentable additive category, and let \({\mathcal B}\) be a full additive subcategory, closed under filtered colimits. Suppose there exists a regular cardinal \(\alpha\) such that \({\mathcal B}\) is closed under \(\alpha\)-pure subobjects or under \(\alpha\)-pure quotients. Then each object in \({\mathcal A}\) admits a right \({\mathcal B}\)-approximation. This is a generalisation of a result due to \textit{R. El Bashir} [Algebr. Represent. Theory 9, No. 5, 423--430 (2006; Zbl 1114.16002)], and many criteria for the existence of right approximations can be derived from this criterion. The main theorem is used to construct adjoint of functors between homotopy categories. These results read as follows. Assume that \(B\) is also closed under \(\alpha\)-pure subobjects or under \(\alpha\)-pure quotients for some regular cardinal \(\alpha\); then the inclusion \({\mathbf K}({\mathcal B}) \to {\mathbf K}({\mathcal A})\) admits a right adjoint. Assume that exact sequences are closed under filtered colimits; then the canonical functor \({\mathbf K}({\mathcal A}) \to {\mathbf D}({\mathcal A})\) admits a fully faithful right adjoint; in particular, the category \({\mathbf D}({\mathcal A})\) has small Hom-sets. Finally, several applications to pure derived categories are given.
0 references
additive categories
0 references
approximation
0 references
derived category
0 references
homotopy category
0 references
purity, adjoint functor
0 references