Factorizations, M-separation, and extremal-epireflective subcategories
type: Item
instance of: scholarly article
title: Factorizations, M-separation, and extremal-epireflective subcategories
zbMATH Open document ID: 0647.18001
DOI: 10.1016/0166-8641(88)90045-4
author: Harriet Lazowick Lord
published in: Topology and its Applications
publication date: 1988-01-01T00:00:00Z
review text: Let C be a complete, well-powered, concrete category with forgetful functor \(T: C\to Set\) such that the class \(M_ 0\) of T-embeddings is the second factor of a factorization structure for single morphisms in c. Every (E,M)-factorization structure for single morphisms with \(M\subset M_ 0\) determines the full subcategory \(C_ M\) whose objects are the C- objects X such that the diagonal \(\Delta_ X\subset X\times X\) is in M (M-separated objects in a paper of \textit{D. Pumplün} and \textit{H. Röhrl} [Manuscr. Math. 50, 145-183 (1985; Zbl 0594.46064)]). For every subcategory A of C denote by \(M^ A\) the class of A-regular morphisms (i.e., equalizers of pairs of C-morphisms with codomain in A). Main results of the paper are: (a) \(C_ M\) is extremal epireflective in C and it is the largest \(B\subset C\) such that \(E\subset \{B\)-epis\(\}\) ; (b) If C is a connected topological category and A is extremal epireflective in C and such that \(M^ A\) is closed under composition then there exists a factorization structure (E,M) such tat \(C_ M=A\); (c) There is no (E,M)- factorization structure in Top such that \(Top_ M=FH\), where FH is the category of functionally Hausdorff spaces. It should be noted that it is implicitly shown in a paper of \textit{D. Dikranjan} and the reviewer [Topology Appl. 27, 129-143 (1987; Zbl 0634.54008)] for more general \(C: C_ M=A\) for some factorization structure (E,M) in C iff \(M^ A\) is closed under composition. This result depends on a general ``diagonal theorem'' shown by the reviewer, \textit{S. Mantovani} and \textit{W. Tholen} [J. Pure Appl. Algebra 51, 129-140 (1988)] (see also: the reviewer and \textit{M. Hušek} [Ann. Mat. Pura Appl., IV. Ser. 145, 337-346 (1986; Zbl 0617.54006)] for the case \(C=Top)\).
Mathematics Subject Classification ID: 18A32
Mathematics Subject Classification ID: 18B30
Mathematics Subject Classification ID: 54B30
Mathematics Subject Classification ID: 54B15
zbMATH DE Number: 4055850
zbMATH Keywords: hull operator
zbMATH Keywords: closure operator
zbMATH Keywords: extremal-epireflective
zbMATH Keywords: factorization structure
zbMATH Keywords: topological category
reviewed by: Eraldo Giuli
MaRDI profile type: Publication
full work available at URL: 0166-8641(88)90045-4
OpenAlex ID: W2042240414
Wikidata QID: Q114214998
cites work: Note on Epi in
cites work: Some aspects of groups with unique roots
cites work: Limit-Operators and Topological Coreflections
cites work: Factorizations, denseness, separation, and relatively compact objects
cites work: Q3877831
cites work: Hull operators on a category of spaces of continuous functions on Hausdorff spaces
cites work: A note on hull operators in (\({\mathcal E},{\mathcal M})\) categories
cites work: Q3031142
cites work: Classifying Spaces and Infinite Symmetric Products
cites work: Initially Structured Categories and Cartesian Closedness
cites work: Separated totally convex spaces
cites work: Q3859996
cites work: Q4102451
cites work: Q5613067
cites work: Convenient categories of topological spaces for homotopy theory
Recommended article: Separated and connected maps
Recommended article: Q4353294
Recommended article: Pushout Invariance Revisited
Recommended article: Factorization, diagonal separation, and disconnectedness
Recommended article: Q3826732
Recommended article: Q4722811
Recommended article: On factorization structures and epidense hulls
Recommended article: Objects with closed diagonals
Recommended article: Hausdorff separation in categories
Recommended article: Q3698979
description: scientific article; zbMATH DE number 4055850