Wie bei kanonischen Eigenschaften üblich, definiert dies bis zu einem universellen Isomorphismus.
Dies definiert, wie es für universelle Eigenschaften üblich ist, bis zu einem kanonischen Isomorphismus.