Statements (24)
Predicate | Object |
---|---|
gptkbp:instanceOf |
Category theory concept
|
gptkbp:alsoKnownAs |
Final object
|
gptkbp:categoryTheoryRole |
Universal construction
|
gptkbp:definedIn |
Category theory
|
gptkbp:defines |
An object such that for every object in the category, there exists a unique morphism from that object to the terminal object.
|
gptkbp:exampleInGrp |
gptkb:Trivial_group
|
gptkbp:exampleInSet |
Any singleton set
|
gptkbp:exampleInTop |
gptkb:One-point_space
|
gptkbp:hasDual |
Initial object
|
gptkbp:hasMorphismProperty |
For every object X, there is a unique morphism X → 1
|
https://www.w3.org/2000/01/rdf-schema#label |
Terminal object
|
gptkbp:property |
Unique up to unique isomorphism
|
gptkbp:referencedIn |
Wikipedia: Terminal object
nLab: Terminal object |
gptkbp:relatedConcept |
gptkb:Functor
gptkb:Product_(category_theory) Limit (category theory) Zero object |
gptkbp:symbol |
1
|
gptkbp:usedIn |
gptkb:Mathematics
gptkb:logic Computer science |
gptkbp:bfsParent |
gptkb:Universal_(mathematics)
|
gptkbp:bfsLayer |
6
|