1. For example, many concepts in category theory are defined to be unique up to isomorphism.

Ví dụ, nhiều khái niệm trong lý thuyết thể loại được định nghĩa là duy nhất cho đến đẳng thế.