有点集
| 有点集 | |
|---|---|
| 术语名称 | 有点集 |
| 英语名称 | pointed set |
| 别名 | 有根集, rooted set, 有基集, based set |
| 基点 | |
|---|---|
| 术语名称 | 基点 |
| 英语名称 | base point |
本条目没有一致可信的中文译名。
有点集(pointed set)指集合与其中某个元素的单点集构成的有序对。 单点集中的元素称为其基点(base point)。
集合 [math]\displaystyle{ S }[/math] 与单点集 [math]\displaystyle{ \{s_0\} }[/math] 的有点集常简写为 [math]\displaystyle{ (S, s_0) }[/math] 。
| 范畴、态射 | ||
|---|---|---|
| 基本概念 | 范畴 | 态射、交换图 |
| 态射 | 单态射、满态射 | 双态射 |
| 分裂单态射、分裂满态射（收缩、截面） | 同构 | |
| 泛在结构、泛性质 | ||
| 终端对象 | 始对象、终对象 | 零对象、零态射 |
| 泛在结构 | 切片范畴、余切片范畴 | - |
| 楔、余楔·楔范畴、余楔范畴 | 积、余积 | |
| 锥、余锥·锥范畴、余锥范畴 | 极限、余极限 | |
| - | 等化子、余等化子 | |
| - | 核、余核 | |