Wiktionary
terminal object
n. (context category theory English) An object within a category which receives arrows from all other objects in that category, and such that each of these arrows is unique.