Namespaces
Variants
Actions

Reflection of an object of a category

From Encyclopedia of Mathematics
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.


reflector of an object of a category

Let $ \mathfrak C $ be a subcategory of a category $ \mathfrak K $; an object $ B \in \mathfrak C $ is called a reflection of an object $ A \in \mathfrak K $ in $ \mathfrak C $, or a $ \mathfrak C $- reflection, if there exists a morphism $ \pi : A \rightarrow B $ such that for any object $ X $ of $ \mathfrak C $ the mapping

$$ H _ {X} ( \pi ) : H _ {\mathfrak C} ( B, X) \rightarrow H _ {\mathfrak K} ( A, X) $$

is bijective. In other words, for any morphism $ \alpha : A \rightarrow X $ there is a unique morphism $ \alpha ^ \prime : B \rightarrow X \in \mathfrak C $ such that $ \alpha = \pi \alpha ^ \prime $. A $ \mathfrak C $- reflection of an object $ A $ is not uniquely defined, but any two $ \mathfrak C $- reflections of an object $ A $ are isomorphic. The $ \mathfrak C $- reflection of an initial object of $ \mathfrak K $ is an initial object in $ \mathfrak C $. The left adjoint of the inclusion functor $ \mathfrak C \rightarrow \mathfrak K $( if it exists), i.e. the functor assigning to an object of $ \mathfrak K $ its reflection in $ \mathfrak C $, is called a reflector.

Examples. In the category of groups the quotient group $ G/G ^ \prime $ of an arbitrary group $ G $ by its commutator subgroup is a reflection of $ G $ in the subcategory of Abelian groups. For an Abelian group $ A $, the quotient group $ A/T( A) $ by its torsion subgroup $ T( A) $ is a reflection of $ A $ in the full subcategory of torsion-free Abelian groups. The injective hull $ \widetilde{A} $ of the group $ A/T( A) $ is a reflection of the groups $ A $ and $ A/T( A) $ in the subcategory of full torsion-free Abelian groups.

Reflections are usually examined in full subcategories. A full subcategory $ \mathfrak C $ of a category $ \mathfrak K $ in which there are reflections for all objects of $ \mathfrak K $ is called reflective (cf. Reflexive category).

Comments

The reflection of an object solves a universal problem (cf. Universal problems).

How to Cite This Entry:
Reflection of an object of a category. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Reflection_of_an_object_of_a_category&oldid=48470
This article was adapted from an original article by M.Sh. Tsalenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article