Universal property

The term "universal property" is used in various contexts within mathematics, particularly in category theory and algebra. A universal property describes a property of a mathematical object that is characterized by its relationships with other objects in a way that is especially "universal" or general. ### In Category Theory In category theory, a universal property typically describes a construction that is unique up to isomorphism. This often involves the definition of an object in terms of its relationships to other objects.