initial and terminal objects

Initial and terminal objects are not required to exist in a given category.

This article uses the unambiguous terminology of initial and terminal objects.

Initial and terminal objects may also be characterized in terms of universal properties and adjoint functors.

---- This article is based in part on PlanetMath's article on examples of initial and terminal objects.