In a category 
, a terminal object is an object 
such that for any other object 
, there is one, and only one morphism
from 
to 
.
Terminal Object
See also
Category, Initial 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