zero object

Summary

Key Facts

• zero object's subclass of is recorded as initial object^[1].
• zero object's subclass of is recorded as terminal object^[2].
• zero object's subclass of is recorded as null^[3].
• zero object's part of is recorded as initial and terminal objects^[4].
• zero object's different from is recorded as zero object^[5].
• zero object's different from is recorded as additive identity^[6].
• zero object's different from is recorded as trivial algebraic structure^[7].
• zero object's nLab ID is recorded as zero object^[8].
• zero object's ProofWiki ID is recorded as Definition:Zero_Object^[9].
• zero object's Metamath statement ID is recorded as df-zeroo^[10].