带点范畴

带点范畴指带有零对象的范畴.

1例子

•	如范畴 $\mathcal{C}$ 带有终对象 $\ast$, 则仰范畴 ${\mathcal{C}}_{\ast /}$ 是带点范畴, 常称为 $\mathcal{C}$ 的带点对象范畴, 也记作 ${\mathcal{C}}_{\ast }$.

•	对偶地, 如范畴 $\mathcal{C}$ 带有始对象 $\varnothing$, 则俯范畴 ${\mathcal{C}}_{/\varnothing }$ 是带点范畴.

2相关概念

术语翻译

带点范畴 • 英文 pointed category