Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:categoryTheoryDefinition |
A cokernel is a universal morphism from the codomain of a morphism to an object such that the composition is zero.
|
| gptkbp:contrastsWith |
gptkb:Kernel
|
| gptkbp:defines |
The cokernel of a homomorphism f: A → B is the quotient of B by the image of f.
|
| gptkbp:field |
gptkb:Mathematics
|
| gptkbp:generalizes |
Quotient group
Quotient module |
| gptkbp:hasSubfield |
gptkb:algebra
|
| https://www.w3.org/2000/01/rdf-schema#label |
Cokernel
|
| gptkbp:notation |
coker(f)
|
| gptkbp:relatedTo |
gptkb:Homomorphism
gptkb:Kernel |
| gptkbp:usedIn |
Category theory
Homological algebra Module theory |
| gptkbp:bfsParent |
gptkb:Kernel_(algebra)
|
| gptkbp:bfsLayer |
8
|