Are these paraphrases?
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 .
yes