El par ("X", π) debe ser universal en el sentido que para todo otro par del tipo ("Y", ψ) existe un único morfismo "u" : "Y" → "X" que hace que todas las identidades "obvias" sean verdaderas; o sea el diagrama.