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