Terminal object

GPTKB entity

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