TOPICS
Search

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. https://mathworld.wolfram.com/InitialObject.html

Subject classifications