Universal Property in Categories

March 1, 2026 · Luciano Muratore

Category Theory is the study of Objects (inside a Category) through the way they relate to other objects inside a Category.

The way whose relationships are established give Universal Properties. We say that a property is Universal if it ensures the existance and the uniqueness of an object (of a Category) with a peculiar property.

In the case of Polynomial Ring, the Universal property characterizes $R[x]$ as the unique object that allows us to “evaluate” polynomials. The Universal Property says that given $f: R \to S$ ring morphism, then for any element $s \in S$, there exists a unique ring homomorphism $\phi: R[x] \to S$ such that:

1. $\phi(r) = f(r)$ for all $r \in R$,
2. $\phi(x) = s$.

The most common application of this property is the Evaluation Morphism. If we take $S = R$ and $f$ to be the identity map, the universal property tells us that for any $a \in R$, there is a unique map: $\text{ev}_a: R[x] \to R$ defined by: $\text{ev}_a(p(x)) = p(a)$.

In the case of Cartesian Product in Set Theory, the Universal Property defines the product $A \times B$ as the “most general” set that can map into $A$ and $B$ simultaneously.

The Universal Property says that For any set $Z$ and any two functions $f: Z \to A$ and $g: Z \to B$, there exists a unique function $h: Z \to A \times B$ such that the following diagram commutes:

1. $\pi_1 \circ h = f$
2. $\pi_2 \circ h = g$

The unique function $h$ is denoted as $(f,g)$. It is defined simply as: $h(z)=(f(z),g(z))$.

As I said before, any two sets that satisfy this universal property are guaranteed to be in one-to-one correspondence, proven that the “Cartesian Product” is a structurally unique concept, regardless of how we choose to encode the ordered pairs.

There are more universal properties as Categories exist. It doesn’t matter how they look like, they would always be backup on the uniquenes and existance of that specific object with that particuliar property.