Direct reflections

DOI10.1023/A:1008756203227MaRDI QIDQ1840756zbMATH OpenFDO

Authors G. C. L. Brümmer, Eraldo Giuli, David Holgate

Publication date 21 June 2001

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1008756203227

zbMATH Keywords

direct reflectionfactorization systemperfect morphismsSamuel compactificationtopological bicompletiontopological categories

Mathematics Subject Classification ID

Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categorical methods in general topology (54B30) Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Uniform structures and generalizations (54E15)

Review text

Simplicity is a reasonably common property of reflectors, which corresponds to particularly well-behaved factorization systems. This paper defines and studies directness, a concept obtained from the essential ingredients in the definition of simplicity: a pointed endofunctor \((R,r)\) in a category is called direct if for each morphism \(f:x\to y\) the pullback of \(Rf\) and \(r_y\) exists and the unique fill-in \(u\) from \(x\) to the pullback is such that \(Ru\) is iso. Several results are obtained relating directness with reflectivity, factorization systems and perfect morphisms. Several detailed examples are given involving various topological categories.

Recommendations

• Prereflections and reflections
• Simplicity of Categories Defined by Symmetry Axioms
• Existence of reflections and its applications
• On characterization of reflection and coreflection in categories
• Maximum monoreflections

Cited in

(5)

• Light morphisms for generalized T₀-reflections
• Idempotency of extensions via the bicompletion
• scientific article; zbMATH DE number 1496859 (Why is no real title available?)
• Components, complements and the reflection formula
• Concrete functors determined by their restrictions to the \(T_0\) objects

This page was built for publication: Direct reflections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840756)