In category theory, an object "1" is a terminal (or final) object if for every object A, there is exactly one morphism from A to 1.

In the category of sets and functions, every singleton set {a} is a terminal object. The morphism in this case is the constant function mapping everything to a, that is, f(x)=a.

In a partially ordered set, considered as a category, the maximum (if it exists) is a terminal object.

Terminal objects are dual to initial objects.