空范畴

在范畴论中, 空范畴是没有对象、没有态射的范畴, 常记为 $\varnothing$.

1性质

•	$\varnothing$ 是 $\mathsf{Cat}$ 的始对象. 无论是将其视为 $1$-范畴还是 $2$-范畴, 这都成立.

•	因此, $\varnothing$ 是 $0$ 个范畴的无交并范畴.

•	$\varnothing$ 可以看作 $(-1)$-范畴. 在范畴等价意义下, 只有两个 $(-1)$-范畴, 另一个是单点范畴.

2相关概念

•	空集
•	空空间
•	单点范畴