Abstract
In the theory of accessible categories, pure subobjects, i.e. filtered colimits of split monomorphisms, play an important role. Here we investigate pure quotients, i.e., filtered colimits of split epimorphisms. For example, in abelian, finitely accessible categories, these are precisely the cokernels of pure subobjects, and pure subobjects are precisely the kernels of pure quotients.
Similar content being viewed by others
References
J. Adámek and J. Rosický: Locally Presentable and Accessible Categories. Cambridge Univ. Press, Cambridge, 1994.
D. Bourn: Normal subobjects and abelian objects in protomodular categories. J. Algebra 228 (2000), 143–164.
S. Fakir: Objects algébraiquement clos et injectifs dans les catégories localement présentables. Bull. Soc. Math. France 42 (1975).
G. Janelidze, S. Márki and W. Tholen: Semi-abelian categories.
C. Lair: Catégories modélables et catégories esquissables. Diagrammes (1981), 1–20.
M. Makkai and R. Paré: Accessible categories: The foundations of categorical model theory. Contemp. Math. Vol. 104. Amer. Math. Soc., Providence, 1989.
P. Rothmaler: Purity in model theory. In: Advances in Algebra and Model Theory (M. Droste and R. Göbel, eds.). Gordon and Breach, 1997, pp. 445-469.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Adámek, J., Rosický, J. On Pure Quotients and Pure Subobjects. Czechoslovak Mathematical Journal 54, 623–636 (2004). https://doi.org/10.1007/s10587-004-6413-9
Issue Date:
DOI: https://doi.org/10.1007/s10587-004-6413-9