The work under review studies pure (mono-, epi-) morphisms in (pro-, ind-) categories. Such morphisms were introduced among others by \textit{J. Dydak} and \textit{F. R. Ruiz del Portal} [J. Pure Appl. Algebra 190, 85--120 (2004; Zbl 1055.18005)] under the name ``strong (mono-, epi-) morphisms which seem to be already taken for another class of morphisms. The central question of the work under review is when a pure monomorphism in a pro-category pro-\({\mathcal C}\) is a regular monomorphism, in the sense that it is the equalizer of a pair of morphisms. The authors prove this implication under the assumption that in \({\mathcal C}\) finite products or push-outs exist. The similar question for epimorphisms was also treated. There, the condition for the implication ``pure epi implies regular epi in pro-\({\mathcal C}\) is that \({\mathcal C}\) has weak limits, or pull-backs, or copowers. Finally, every things can be formulated for ind-categories by using duality.
- Accessible Categories: The Foundations of Categorical Model Theory
- Etale homotopy
- scientific article; zbMATH DE number 2125654 (Why is no real title available?)
- scientific article; zbMATH DE number 3501750 (Why is no real title available?)
- scientific article; zbMATH DE number 1329684 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- Isomorphisms in pro-categories
- On pure morphisms in accessible categories
- On Pure Quotients and Pure Subobjects
- Regular and exact completions
- Representation of categories
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
This page was built for publication: Pure morphisms in pro-categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2502913)
