Initial Object

In a category C, an initial object is an object I in Ob(C) such that for any other object X in Ob(C), there is one and only one morphism from I to X.

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.

Subject classifications