 As McLarty and others have argued, this observation generalizes from numbers to all other mathematical objects studied in category theory. The claim is that any property of the objects in a given category that is expressible in the language of category theory is structural in the sense of being isomorphism invariant. The main consequence for a structuralist conception of mathematical objects is summarized by Awodey as follows: 