在范畴论中, 单点范畴是只有一个对象、只有一个态射 (即恒同态射) 的范畴, 通常记为 ∗.
•
∗ 是 Cat 的终对象. 无论是将其视为 1-范畴还是 2-范畴, 这都成立.
因此, ∗ 是 0 个范畴的积范畴.
∗ 可以看作 (−2)-范畴, 并且是唯一的 (−2)-范畴.
单点集
单点空间
空范畴