Questions: Universal Properties

Question 1

The free group on a set S is defined by a universal property. If F₁ and F₂ both satisfy this universal property, what can we conclude?

• A. F₁ and F₂ must be literally the same set
• B. F₁ and F₂ are uniquely isomorphic to each other
• C. F₁ and F₂ have exactly the same elements
• D. Only one of F₁ and F₂ can genuinely satisfy the universal property

Answer: (B)

Universal properties characterize objects up to unique isomorphism — not up to equality. Both F₁ and F₂ can be valid constructions, but the universal property guarantees a unique isomorphism between them. This is the precise and strongest form of uniqueness available in category theory.

Question 2

An object satisfying a universal property is uniquely determined, meaning it has exactly one possible set-theoretic construction.

• T. True
• F. False

Answer: False

There can be many different set-theoretic constructions that all satisfy the same universal property — e.g., the Cartesian product A×B can be constructed in multiple ways. What the universal property guarantees is not a unique construction, but that all valid constructions are uniquely isomorphic to each other. 'Unique up to unique isomorphism' is a relational statement about how objects relate, not a restriction on how they are built.

Question 3

What is the key difference between characterizing a mathematical object by its universal property versus by an explicit construction?

Model answer: A universal property characterizes an object by how morphisms relate to it — specifying what maps exist uniquely to or from every other object — rather than by what its elements are. Different constructions can realize the same universal property, and the property itself captures the mathematically essential information independent of any particular realization.

This distinction is fundamental to categorical thinking. Internal characterization (by elements) is tied to a specific model; external characterization (by morphisms) is invariant across all models satisfying the same property. This is why objects defined by universal properties are 'the same' in the only sense that matters categorically.