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