Namespaces
Variants
Actions

Difference between revisions of "Reflective subcategory"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX done)
Line 1: Line 1:
A subcategory which contains a  "largest"  model of any object of a given category. More precisely, a full subcategory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r0805501.png" /> of a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r0805502.png" /> is called reflective if it contains a reflection (cf. [[Reflection of an object of a category|Reflection of an object of a category]]) for every object of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r0805503.png" />. Equivalently, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r0805504.png" /> is reflective in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r0805505.png" /> if and only if the inclusion functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r0805506.png" /> has a left adjoint <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r0805507.png" />. The functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r0805508.png" /> sends each object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r0805509.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055010.png" /> to its <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055011.png" />-reflection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055012.png" />; the morphisms <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055013.png" /> appearing in the definition of a reflection constitute a natural transformation from the identity functor on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055014.png" /> to the composite of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055015.png" /> with the inclusion functor, which is the unit of the adjunction (see [[Adjoint functor|Adjoint functor]]). The concept dual to that of a reflective subcategory is called a coreflective subcategory.
+
A subcategory which contains a  "largest"  model of any object of a given category. More precisely, a [[full subcategory]] $\mathfrak{C}$ of a category $\mathfrak{K}$ is called reflective if it contains a reflection (cf. [[Reflection of an object of a category]]) for every object of $\mathfrak{K}$. Equivalently, $\mathfrak{C}$ is reflective in $\mathfrak{K}$ if and only if the inclusion functor $\mathfrak{C}\rightarrow\mathfrak{K}$ has a left adjoint $S:\mathfrak{K}\rightarrow\mathfrak{C}$. The functor $S$ sends each object $A$ of $\mathfrak{K}$ to its $\mathfrak{C}$-reflection $S(A)$; the morphisms $\pi_A : A \rightarrow S(A)$ appearing in the definition of a reflection constitute a [[natural transformation]] from the identity functor on $\mathfrak{K}$ to the composite of $S$ with the inclusion functor, which is the unit of the adjunction (see [[Adjoint functor]]). The concept dual to that of a reflective subcategory is called a coreflective subcategory.
  
A reflective subcategory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055016.png" /> inherits many properties from the ambient category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055017.png" />. For example, a morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055018.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055019.png" /> is a [[Monomorphism|monomorphism]] in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055020.png" /> if and only if it is a monomorphism in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055021.png" />. Therefore, every reflective subcategory of a well-powered category is well-powered. A reflective subcategory is closed under products, to the extent that they exist in the ambient category. The same holds for more general limits. A reflective subcategory need not be closed under colimits, but the functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055022.png" /> transforms colimits in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055023.png" /> into colimits in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055024.png" />. Thus, a reflective subcategory of a complete (cocomplete) category is complete (cocomplete).
+
A reflective subcategory $\mathfrak{C}$ inherits many properties from the ambient category $\mathfrak{K}$. For example, a morphism $\mu$ of $\mathfrak{C}$ is a [[monomorphism]] in $\mathfrak{C}$ if and only if it is a monomorphism in $\mathfrak{K}$. Therefore, every reflective subcategory of a [[well-powered category]] is well-powered. A reflective subcategory is closed under products, to the extent that they exist in the ambient category. The same holds for more general limits. A reflective subcategory need not be closed under colimits, but the functor $S$ transforms colimits in $\mathfrak{K}$ into colimits in $\mathfrak{C}$. Thus, a reflective subcategory of a complete (cocomplete) category is complete (cocomplete).
  
Suppose <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055025.png" /> is complete and has a [[Bicategory(2)|bicategory]] (factorization) structure in which every object has only a set of admissible quotients. Then every full subcategory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055026.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055027.png" /> which is closed under products and admissible subobjects is reflective. In this context, one may construct the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055028.png" />-reflection of an object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055029.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055030.png" /> as follows: Choose a set of representatives <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055031.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055032.png" />, of those quotient objects of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055033.png" /> which lie in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055034.png" />. The product <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055035.png" /> belongs to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055036.png" />, and the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055037.png" />-reflection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055038.png" /> is the image of the unique morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055039.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055040.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055041.png" />.
+
Suppose $\mathfrak{K}$ is complete and has a [[Bicategory(2)|bicategory]] (factorization) structure in which every object has only a set of admissible quotients. Then every full subcategory $\mathfrak{C}$ of $\mathfrak{K}$ which is closed under products and admissible subobjects is reflective. In this context, one may construct the $\mathfrak{C}$-reflection of an object $A$ of $\mathfrak{K}$ as follows: Choose a set of representatives $\{\gamma_i:A\rightarrow A_i\}$, $i \in I$, of those quotient objects of $A$ which lie in $\mathfrak{C}$. The product $P = \prod_{i\in I} A_i$ belongs to $\mathfrak{C}$, and the $\mathfrak{C}$-reflection $S(A)$ is the image of the unique morphism $\gamma : A \rightarrow P$ such that $\pi_i \gamma = \gamma_i$, $i\in I$.
  
 
===Examples.===
 
===Examples.===
  
  
1) Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055042.png" /> be an integral domain. The full subcategory of torsion-free injective modules is reflective in the category of all torsion-free <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055043.png" />-modules; the reflections are the injective hulls of torsion-free modules. In particular, the full subcategory of divisible torsion-free Abelian groups is reflective in the category of torsion-free Abelian groups.
+
1) Let $R$ be an integral domain. The full subcategory of torsion-free injective modules is reflective in the category of all torsion-free $R$-modules; the reflections are the [[injective hull]]s of torsion-free modules. In particular, the full subcategory of divisible torsion-free Abelian groups is reflective in the category of torsion-free Abelian groups.
  
2) The full subcategory of compact Hausdorff topological spaces is reflective in the category of completely regular topological spaces. The Stone–Čech compactification provides the reflector.
+
2) The full subcategory of compact Hausdorff topological spaces is reflective in the category of completely regular topological spaces. The [[Stone–Čech compactification]] provides the reflector.
  
3) The category of sheaves on a topological space is reflective in the category of pre-sheaves. The reflector is defined by the associated sheaf functor (sheafication).
+
3) The category of sheaves on a topological space is reflective in the category of pre-sheaves. The reflector is defined by the associated sheaf functor (sheafication): cf. [[Sheaf theory]].
  
  
Line 19: Line 19:
 
A few authors extend the use of the term  "reflective subcategory"  to include non-full subcategories for which the inclusion functor has a left adjoint.
 
A few authors extend the use of the term  "reflective subcategory"  to include non-full subcategories for which the inclusion functor has a left adjoint.
  
A reflective subcategory is called epireflective if the canonical morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055044.png" /> is an epimorphism for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055045.png" />. If every morphism in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055046.png" /> factors as an epimorphism followed by a monomorphism, then a reflective subcategory of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055047.png" /> will be epireflective provided it is closed under arbitrary subobjects in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/r/r080/r080550/r08055048.png" />. The three examples listed in the main article are not epireflective, but (for example) the category of Abelian groups is epireflective in the category of all groups. The dual concept is that of a monocoreflective subcategory; for example, the category of torsion Abelian groups is monocoreflective in the category of all Abelian groups.
+
A reflective subcategory is called epireflective if the canonical morphism $\pi_A : A \rightarrow S(A)$ is an epimorphism for every $A$. If every morphism in $\mathfrak{K}$ factors as an epimorphism followed by a monomorphism, then a reflective subcategory of $\mathfrak{K}$ will be epireflective provided it is closed under arbitrary subobjects in $\mathfrak{K}$. The three examples listed in the main article are not epireflective, but (for example) the category of Abelian groups is epireflective in the category of all groups. The dual concept is that of a monocoreflective subcategory; for example, the category of torsion Abelian groups is monocoreflective in the category of all Abelian groups.
 +
 
 +
 
 +
{{TEX|done}}

Revision as of 17:42, 20 December 2017

A subcategory which contains a "largest" model of any object of a given category. More precisely, a full subcategory $\mathfrak{C}$ of a category $\mathfrak{K}$ is called reflective if it contains a reflection (cf. Reflection of an object of a category) for every object of $\mathfrak{K}$. Equivalently, $\mathfrak{C}$ is reflective in $\mathfrak{K}$ if and only if the inclusion functor $\mathfrak{C}\rightarrow\mathfrak{K}$ has a left adjoint $S:\mathfrak{K}\rightarrow\mathfrak{C}$. The functor $S$ sends each object $A$ of $\mathfrak{K}$ to its $\mathfrak{C}$-reflection $S(A)$; the morphisms $\pi_A : A \rightarrow S(A)$ appearing in the definition of a reflection constitute a natural transformation from the identity functor on $\mathfrak{K}$ to the composite of $S$ with the inclusion functor, which is the unit of the adjunction (see Adjoint functor). The concept dual to that of a reflective subcategory is called a coreflective subcategory.

A reflective subcategory $\mathfrak{C}$ inherits many properties from the ambient category $\mathfrak{K}$. For example, a morphism $\mu$ of $\mathfrak{C}$ is a monomorphism in $\mathfrak{C}$ if and only if it is a monomorphism in $\mathfrak{K}$. Therefore, every reflective subcategory of a well-powered category is well-powered. A reflective subcategory is closed under products, to the extent that they exist in the ambient category. The same holds for more general limits. A reflective subcategory need not be closed under colimits, but the functor $S$ transforms colimits in $\mathfrak{K}$ into colimits in $\mathfrak{C}$. Thus, a reflective subcategory of a complete (cocomplete) category is complete (cocomplete).

Suppose $\mathfrak{K}$ is complete and has a bicategory (factorization) structure in which every object has only a set of admissible quotients. Then every full subcategory $\mathfrak{C}$ of $\mathfrak{K}$ which is closed under products and admissible subobjects is reflective. In this context, one may construct the $\mathfrak{C}$-reflection of an object $A$ of $\mathfrak{K}$ as follows: Choose a set of representatives $\{\gamma_i:A\rightarrow A_i\}$, $i \in I$, of those quotient objects of $A$ which lie in $\mathfrak{C}$. The product $P = \prod_{i\in I} A_i$ belongs to $\mathfrak{C}$, and the $\mathfrak{C}$-reflection $S(A)$ is the image of the unique morphism $\gamma : A \rightarrow P$ such that $\pi_i \gamma = \gamma_i$, $i\in I$.

Examples.

1) Let $R$ be an integral domain. The full subcategory of torsion-free injective modules is reflective in the category of all torsion-free $R$-modules; the reflections are the injective hulls of torsion-free modules. In particular, the full subcategory of divisible torsion-free Abelian groups is reflective in the category of torsion-free Abelian groups.

2) The full subcategory of compact Hausdorff topological spaces is reflective in the category of completely regular topological spaces. The Stone–Čech compactification provides the reflector.

3) The category of sheaves on a topological space is reflective in the category of pre-sheaves. The reflector is defined by the associated sheaf functor (sheafication): cf. Sheaf theory.


Comments

A few authors extend the use of the term "reflective subcategory" to include non-full subcategories for which the inclusion functor has a left adjoint.

A reflective subcategory is called epireflective if the canonical morphism $\pi_A : A \rightarrow S(A)$ is an epimorphism for every $A$. If every morphism in $\mathfrak{K}$ factors as an epimorphism followed by a monomorphism, then a reflective subcategory of $\mathfrak{K}$ will be epireflective provided it is closed under arbitrary subobjects in $\mathfrak{K}$. The three examples listed in the main article are not epireflective, but (for example) the category of Abelian groups is epireflective in the category of all groups. The dual concept is that of a monocoreflective subcategory; for example, the category of torsion Abelian groups is monocoreflective in the category of all Abelian groups.

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