noun
Meaning 1
An object within a category which receives arrows from all other objects in that category, and such that each of these arrows is unique.
Definition source: English Wiktionary via Wiktextract
Topics: category-theory, computing, engineering, mathematics, natural-sciences, physical-sciences, sciences
Examples
- 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.
Meaning relationships
Synonyms: none provided
Antonyms: none provided