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