This defines , as is usual for universal properties , up to a canonical isomorphism .
As usual for universal properties , this defines up to a canonical isomorphism .
As usual for universal properties , this defines up to a canonical isomorphism .
重写此文本: This defines , as is usual for universal properties , up to a canonical isomorphism . 输出: