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 Object
*This 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