English Dictionary

In many categories, terminal objects are unique up to isomorphism.

多くの圏において、終対象は同型に関して一意である。