Propiedad Universal

Caracterización de un objeto mediante una condición de mapeo universal: un objeto U provisto de una flecha universal (o cono/cocono universal) hacia o desde un diagrama tal que cualquier otra flecha hacia/desde el diagrama factoriza de manera única a través de U, a isomorfismo único cerca, especificando así U hasta isomorfismo único en lugar de por construcción explícita.

Una caracterización de un objeto o morfismo en una categoría por una condición universal de mapeo: está determinado hasta isomorfismo único por la propiedad de que las flechas hacia o desde él corresponden naturalmente a las flechas hacia o desde cualquier otro objeto con la misma propiedad.