Zero Object

up:: 027 MOC Category Theory

A zero object in a Category $C$ is an object $0$ which is an Initial Object and also a Terminal Object.

Properties

• A terminal object is isomorphic to an initial object if there is a morphism from T to I ─ and thus, when there is a zero object, it is unique (up to isomorphism).

---

References

• KASHIWARA, Masaki; SCHAPIRA, Pierre, Categories and Sheaves, Berlin, Heidelberg: Springer Berlin Heidelberg, 2006.