-presentable morphisms, injectivity and (weak) factorization systems

DOI10.1007/S10485-006-9024-9zbMATH Open1111.18002arXivmath/0509318OpenAlexW1968431853WikidataQ122452491 ScholiaQ122452491MaRDI QIDQ857748FDOQ857748

Michel Hébert

Publication date: 20 December 2006

Published in: Applied Categorical Structures (Search for Journal in Brave)

Abstract: We show that in a locally lambda-presentable category, every lambda(m)-injectivity class (i.e., the class of all the objects injective with respect to some class of lambda-presentable morphisms) is a weakly reflective subcategory determined by a functorial weak factorization system cofibrantly generated by a class of lambda-presentable morphisms. This was known for small-injectivity classes, and referred to as the "small object argument". An analogous result is obtained for orthogonality classes and factorization systems, where lambda-filtered colimits play the role of the transfinite compositions in the injectivity case. Lambda-presentable morphisms are also used to organize and clarify some related results (and their proofs), in particular on the existence of enough injectives (resp. pure-injectives).

Full work available at URL: https://arxiv.org/abs/math/0509318

Recommendations

• Weak factorization systems and fibrewise regular injectivity for actions of pomonoids on posets
• \(F\)-pure homomorphisms, strong \(F\)-regularity, and \(F\)-injectivity
• On Injectivity in Locally Presentable Categories
• Weak factorization systems and topological functors
• scientific article
• Publication:3032312
• Factorizations, injectivity and compactness in categories of modules
• On complete pure-injectivity in locally finitely presented categories
• FACTOR MAPS OF LAMBDA-GRAPH SYSTEMS AND INCLUSIONS OF C*-ALGEBRAS
• Finitely presentable morphisms in exact sequences

zbMATH Keywords

orthogonalityinjectivityweak factorization systemfinitely presentable morphismpure morphism

Mathematics Subject Classification ID

Integral closure of commutative rings and ideals (13B22) Injective and flat modules and ideals in commutative rings (13C11) Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20)

Cites Work

• Homotopical algebra
• Title not available (Why is that?)
• Accessible Categories: The Foundations of Categorical Model Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sheafifiable homotopy model categories
• Title not available (Why is that?)
• A generalization of Quillen's small object argument
• Universally Going-Down Rings, 1-Split Rings, and Absolute Integral Closure
• On pure morphisms in accessible categories
• Residually small varieties without rank
• Pure morphisms in pro-categories
• Purity and injectivity in accessible categories
• Sur quelques propriétés des couples d'anneaux ou de modules
• Essential weak factorization systems
• Title not available (Why is that?)

Cited In (6)

• Title not available (Why is that?)
• On projectivity in locally presentable categories.
• Title not available (Why is that?)
• On Injectivity in Locally Presentable Categories
• Title not available (Why is that?)
• The orthogonal subcategory problem and the small object argument

This page was built for publication: \(\lambda\)-presentable morphisms, injectivity and (weak) factorization systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q857748)