In various branches of
mathematics, a useful construction is often viewed as the “most efficient solution” to a certain problem. The definition of a
universal property uses the language of
category theory to make this notion precise and to study it abstractly.