On pure morphisms in accessible categories (Q1916142): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 15:39, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On pure morphisms in accessible categories |
scientific article |
Statements
On pure morphisms in accessible categories (English)
0 references
8 December 1996
0 references
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.
0 references
locally presentable category
0 references
presentable objects
0 references
directed colimit
0 references
accessible category
0 references
pushouts
0 references
regular monomorphism
0 references