子范畴

范畴论中, 一个范畴子范畴是由该范畴的一部分对象、态射组成的范畴.

在文献中通常直接以此作为子范畴的定义, 但这样的子范畴概念将与等价原理相悖: 等价原理要求范畴论的任何概念都应被范畴等价保持; 对子范畴而言, 若 的子范畴, 而 范畴等价, 我们也希望 等价于 的某个子范畴. 然而, 这一点在通常的定义下并不成立: 例如, 单点范畴等价于一个有很多互相同构的对象的范畴, 而后者在通常的定义下比前者有更多互不等价的子范畴.

因此, 相比于文献中通常的定义, 我们增加一个额外的要求, 即子范畴应包含其中对象之间的所有同构. 换言之, 子范畴的对象群胚由原范畴的对象群胚的某些连通分支构成. 这样即可避免之前的例子中, 子范畴比原范畴具有更多对象同构类的情况. 加入这一要求后, 子范畴的概念即满足等价原理.

另一种更强的子范畴的概念是全子范畴, 即要求子范畴包含其中对象之间的所有态射. 全子范畴是比子范畴更常用的概念, 我们也常将其作为范畴间 “嵌入” 这一想法的合适表述.

1定义

定义 1.1 (子范畴).范畴. 则 子范畴 由以下信息组成:

子类 .

对任何 , 有一个子集 ,

满足以下条件:

对任何 , 若 中的同构, 则 . 特别地, 对任何 , 有 .

对任何 , 及任何 , , 有 , 其中 中的复合.

上述信息使得 也满足范畴的定义.

2相关概念

术语翻译

子范畴英文 subcategory德文 Unterkategorie (f)法文 sous-catégorie (f)