Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
Morphism |
| gptkbp:appearsIn |
Abelian categories
Preadditive categories |
| gptkbp:defines |
A morphism that is both a left zero and a right zero morphism
|
| gptkbp:field |
Category theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
Zero morphism
|
| gptkbp:notation |
0_{A,B}
|
| gptkbp:property |
Composing any morphism with a zero morphism yields a zero morphism
For any objects A and B, the zero morphism from A to B is unique if it exists |
| gptkbp:relatedTo |
Zero object
Identity morphism |
| gptkbp:usedIn |
gptkb:Group_theory
gptkb:Linear_algebra Homological algebra Module theory |
| gptkbp:bfsParent |
gptkb:Kernel_(algebra)
|
| gptkbp:bfsLayer |
8
|