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:
Renze, John. "Initial Object." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/InitialObject.html