Final object
This article is about a basic definition in category theory. The article text may, however, contain more material. Rate its utility as a basic definition article on the talk page
VIEW: Definitions built on this | Facts about this | Survey articles about this
View a complete list of basic definitions in category theory
Definition
Definition with symbols
An object in a category is termed a final object if for every object , there is a unique morphism from to .
If a final object exists, then any two final objects are isomorphic, and there is a unique isomorphism between any two final objects. In particular, the automorphism group of a final object is trivial.