Statements (10)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appearsIn |
gptkb:Mathematics
gptkb:Theoretical_computer_science |
| gptkbp:defines |
A unique morphism from any object to a terminal object in a category
|
| gptkbp:field |
Category theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
Terminal morphism
|
| gptkbp:relatedTo |
gptkb:Terminal_object
Morphism |
| gptkbp:bfsParent |
gptkb:Universal_morphism
|
| gptkbp:bfsLayer |
7
|