On pure morphisms in accessible categories
A morphism \(f : A \to B\) in a category \({\mathcal K}\) is called \(\lambda\)-pure provided that in every commutative square \(f' : A' \to B'\), \(g : A' \to A\), \(g' : B' \to B\) (i.e. \(g' \circ f' = f \circ g)\) such that \(A'\) and \(B'\) are \(\lambda\)-presentable objects, the morphism \(g\) factors through \(f'\). If \({\mathcal K}\) is a \(\lambda\)-accessible category with pushouts then regular monomorphisms are closed under \(\lambda\)-directed colimits in the category \({\mathcal K}^2\) of all \({\mathcal K}\)-arrows and every \(\lambda\)-pure morphism is a \(\lambda\)-directed colimit in the category \({\mathcal K}^2\) of split monomorphisms and thus it is a regular monomorphism. An example of an \(\omega\)-accessible category \({\mathcal K}\) with an \(\omega\)-pure morphism which is not a strong monomorphism is presented.
- Partial morphisms in categories of effective objects
- Purity and injectivity in accessible categories
- Forking independence from the categorical point of view
- Pure morphisms in pro-categories
- scientific article; zbMATH DE number 2125650 (Why is no real title available?)
- On Pure Quotients and Pure Subobjects
- On regular monomorphisms in weakly locally presentable categories
- On pure monomorphisms and pure epimorphisms in accessible categories
- \(\lambda\)-presentable morphisms, injectivity and (weak) factorization systems
This page was built for publication: On pure morphisms in accessible categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1916142)
