A universal property characterizes an object by a prescribed family of morphisms and a unique factorization of every competing family. It determines that object up to a unique compatible isomorphism. Examples include the pushout in a category and the universal property of the tensor product of modules.

Ancestors (5)

  1. Category theory
  2. Foundations of mathematics
  3. Area of mathematics
  4. Mathematics
  5. Home

Incoming links (78)

View article source

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (1)

Universal property by Wikipedia Bot 1
View more
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.
Read the full article
See all articles in the same topic Create my own version