universal property

Unique mapping criterion

A universal property defines a mathematical object by its relationship to all other objects of a certain type, rather than by its internal structure.

In category theory, an object has a universal property when it satisfies a condition involving unique mappings: for any other object meeting certain criteria, there exists exactly one map connecting them.

The product of two sets is characterized by its universal property.

This approach reveals that seemingly different constructions—products, limits, adjoints—share the same underlying pattern.

Related

terminal · initial · free · localization · object · algebra · diagram · commutative · characterization · arrow · mapping · abstract · existence · definition · category · structure · pullback · representation

Categories
Opposites
mathematical characterization method

universal propertyconcrete construction

Building made from cement

abstraction level

universal propertyimplementation

Putting plans into effect

instantiation

generality vs. specificity

universal propertyspecial case

Instance warranting distinct treatment

Family

property, universal, universally, universality, universalize, universalism, universalist, universalized, universalists

Familiarity
Top 2,000,000
Profile
Used worldwide · Timeless · Abstract · Rated G