Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:defines |
A morphism that is left-cancellable
|
| gptkbp:field |
gptkb:Mathematics
Category theory |
| gptkbp:generalizes |
Injective homomorphism
|
| gptkbp:hasSpecialCase |
Injective function (in Set)
|
| https://www.w3.org/2000/01/rdf-schema#label |
Monomorphism
|
| gptkbp:opposedBy |
Epimorphism
|
| gptkbp:property |
If f∘g1 = f∘g2 implies g1 = g2, then f is a monomorphism
|
| gptkbp:relatedConcept |
gptkb:Homomorphism
gptkb:Isomorphism Epimorphism |
| gptkbp:symbol |
→
|
| gptkbp:used_in |
gptkb:algebra
gptkb:Topology Category theory |
| gptkbp:bfsParent |
gptkb:Homomorphism
|
| gptkbp:bfsLayer |
6
|