Constant morphisms and constant subcategories
Let \({\mathcal K}\) be a category with an \(({\mathcal E}, {\mathcal M})\)-factorization system and let \({\mathcal C}\) be a subcategory of \({\mathcal K}\) closed under \({\mathcal M}\)-subobjects and \({\mathcal E} \)-quotients. A morphism \(f : A \to B\) of \({\mathcal K}\) is called constant if \(f = g \circ h\) where \(h : A \to C\) for a \(C \in{\mathcal C}\). We say that a full subcategory \({\mathcal A}\) of \({\mathcal K}\) is right-constant if there exists a class \({\mathcal B}\) of \({\mathcal K}\)-objects such that any \({\mathcal K}\)-morphism \(f : B \to A\) is constant whenever \(B \in {\mathcal B}\) and \(A \in {\mathcal A}\). The aim of this paper is to give characterizations of right-constant subcategories of \({\mathcal K}\). For example, a right-constant category is \({\mathcal E}\)-reflective if and only if \({\mathcal C}\) is an \({\mathcal E}\)-reflective subcategory of \({\mathcal K}\), or if \({\mathcal K}\) is \({\mathcal M}\)-complete and \({\mathcal M}\)-wellpowered then a reflective subcategory \({\mathcal A}\) is right-constant just when it is strongly upwards-closed (i.e., if any terminal \({\mathcal A}\)-fan belongs to \({\mathcal A})\). Hence for an \({\mathcal M}\)-complete, \({\mathcal M}\)-wellpowered, \({\mathcal E}\)-cocomplete category \({\mathcal K}\) and its reflective subcategory \({\mathcal C}\), a subcategory \({\mathcal A}\) is right-constant if and only if \({\mathcal A}\) is reflective and strongly upwards-closed. Many illustrating examples are presented.
- A Torsion Theory for Abelian Categories
- COMPONENT SUBCATEGORIES
- Connectednesses and disconnectednesses in topology
- DISCONNECTEDNESS
- Hausdorff separation in categories
- scientific article; zbMATH DE number 3914531 (Why is no real title available?)
- scientific article; zbMATH DE number 3746051 (Why is no real title available?)
- scientific article; zbMATH DE number 3638087 (Why is no real title available?)
- scientific article; zbMATH DE number 510330 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- On two extension of dicksons torsion theory
- Torsion theories and coverings of \(V\)-groups
- Clopen objects, connected objects, and normalized topological categories
- scientific article; zbMATH DE number 4163129 (Why is no real title available?)
- scientific article; zbMATH DE number 4069154 (Why is no real title available?)
- scientific article; zbMATH DE number 1101610 (Why is no real title available?)
- On coarse and fine neighbourhood operators
- CONNECTEDNESS, DISCONNECTEDNESS AND CLOSURE OPERATORS: FURTHER RESULTS
- Separation versus connectedness
This page was built for publication: Constant morphisms and constant subcategories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1890938)
