# 零对象与终对象　`prop.zero-object-final-criterion`
命题：预加性范畴里零对象 $\iff$ 终对象 $\iff$ 始对象
layer 17 · 命题 · 加法与阿贝尔范畴 · 范畴论
[在星图里打开](../#n=prop.zero-object-final-criterion)　·　[节点索引](../index.md)

设 $\mathcal{C}$ 是**预加性范畴**，$M \in \mathcal{C}$。则

$$M \text{ 是零对象} \iff M \text{ 是终对象} \iff M \text{ 是始对象}.$$

## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/prop.zero-object-final-criterion.2.md](./prop.zero-object-final-criterion.2.md)

refs: Le Stum, An introduction to condensed mathematics, §5.1

> 说明见 `notes/prop.zero-object-final-criterion.md`

引用：`prop.zero-object-final-criterion`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)