Terminal Object

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

See also

Category, Initial Object

This entry contributed by John Renze

Explore with Wolfram|Alpha

Cite this as:

Renze, John. "Terminal Object." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein.

Subject classifications