A zero object in a Category is an object 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.