Las propiedades universales también se basan en la teoría de categorías.