On pure morphisms in accessible categories (Q1916142): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-4049(95)00037-2 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1967801071 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4293501 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Accessible Categories: The Foundations of Categorical Model Theory / rank | |||
Normal rank |
Revision as of 13:00, 24 May 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