A terminal object in a category 
is an object 
such that for every object 
, there is exactly one morphism
from 
to 
.
Terminal Object
See also
Category, Initial Object, Subterminal ObjectThis entry contributed by John Renze
Explore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W., with contributions by John Renze. "Terminal Object." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/TerminalObject.html