On pure morphisms in accessible categories (Q1916142): Difference between revisions

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.