terminal object
Appearance
English
[edit]Noun
[edit]terminal object (plural terminal objects)
- (category theory) An object within a category which receives arrows from all other objects in that category, and such that each of these arrows is unique.
- In the category of sets, a terminal object is any singleton, since there exists a unique function, namely the constant function, from any given set into that singleton.
- The terminal object is the limit over the empty diagram.
Synonyms
[edit]Antonyms
[edit]Hypernyms
[edit]Hyponyms
[edit]Translations
[edit]Translations
|