In a category , an initial object is an object such that for any other object , there is one and only one morphism from to .

This entry contributed by John Renze

CITE THIS AS:

Renze, John. "Initial Object." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. http://mathworld.wolfram.com/InitialObject.html