反射子范畴

数学中，范畴  的全子範疇  称在  中反射，当且仅当从  到  的包含函子拥有左伴随。该伴随亦称反射子或局部化。对偶地， 称在  中余反射，当且仅当包含函子具右伴随。

通俗而论，反射子实现一类完成操作，补全结构中所有“缺失”块，再而反射则无更多现象。

 定义 
范畴  的全子范畴  称于  中反射，若对任意对象 , 总存在对象  与态射 , 使得对任意指向  的态射  存在唯一  上的态射  满足 .
有序对  称  的 -反射。态射  称作 -反射箭头。通常简洁起见而仅称  作  的 -反射。

上述性质等价于称嵌入函子  为右伴随。而左伴随函子  则称余反射子。映射  为该伴随的单位。

反射子将  投射到 , 对 ,  由交换图确定：
若全部 -反射箭头均（极），则认为子范畴  （极）满反射。同样，认为其双反射，若所有反射箭头均为。

以上记号均为 -反射子范畴的特例，其中  为态射类。

类  的 -反射包定义作涵盖  的最小 -反射子范畴。继而得以论述反射包、满反射包、极满反射包等概念。

反反射子范畴定义作  的全子范畴，满足  中拥有 -反射箭头的所有对象均已存在于  中。

由对偶原理，上述记号亦可推至余反射、余反射箭头、（单）余反射子范畴、余反射包、反余反射子范畴。

 例子 

 代数 

 Abel 群范畴  是群范畴  的反射子范畴，其中反射子即 Abel 化每个群的函子。进一步说，群范畴亦是范畴的反射子范畴。
 类似地，交換结合代數范畴是所有结合代数范畴的反射子范畴，其中反射子通过模去换位子理想构造，用于从张量代数构建。
 对偶地，反交换结合代数范畴亦是所有结合代数范畴的反射子范畴，其中反射子通过模去反换位子理想构造，用于从张量代数构造外代数。
 域范畴是整环范畴（以环单同态作态射），反射子为递送整环到其分式域的函子。
 Abel 撓群范畴为 Abel 群范畴的余反射子范畴，余反射子为递送群为其撓子群的函子。
 初等 Abel 群范畴、Abel p-群范畴、p-群范畴均为群范畴的反射子范畴。
 群范畴是幺半群范畴的余反射子范畴，其中右伴随将幺半群映至其单位群。

 拓扑 

 Колмого́ров 空间范畴（ 空间）是拓撲空間範疇  的反射子范畴，而 Колмого́ров 商为反射子。
 完全正則空間范畴  是  的反射子范畴。取 Колмого́ров 商知 Tychonoff 空间亦是反射子。
 全部紧 Hausdorff 空间的范畴是全部 Tychonoff 空间的范畴（及所有拓扑空间范畴）的反射子范畴，反射子由 Stone–Čech 緊化给定。
 所有具一致连续映射的完备度量空间的范畴是度量空间范畴的反射子范畴，反射子在对象上的作用是度量空间完備化，在箭头上的作用是由稠密性延拓。
 在某一拓扑空间上，层范畴是預層范畴的反射子范畴，反射子为层化，它将一个预层赋予为其芽的丛的截面层。
 范畴  是  的余反射子范畴，拓扑空间  的序列余反射为空间 , 其中， 为在  包含所有序列开集的拓扑（亦是所有序列闭集的余集），比  更加精细。

 泛函分析 

 Banach 空间范畴是有界线性算子赋范空间范畴的反射子范畴，反射子为赋范完成函子。

 范畴论 

 对任意 Grothendieck 位点 , 其上的层 topos 为  上的預層 topos 的反射子范畴，较为特别，其反射子函子左正合。反射子为层化函子 , 伴随对  为 topos 论里，几何态射的重要一例。

Category:範疇論