3.1 Universal properties and representable functors

Universal properties and representable functors are key concepts in category theory. They provide a unified approach to defining and studying mathematical structures across different categories, allowing for abstract characterizations and powerful insights.

The Yoneda lemma, a fundamental result in this area, establishes a deep connection between objects in a category and certain functors. This lemma has far-reaching applications, from proving properties of embeddings to studying natural transformations between functors.

Universal Properties and Representable Functors

Examples of universal properties

• Universal property concept characterizes objects through relationships with other objects defines them up to unique isomorphism
• Set theory examples include terminal object (singleton set) and initial object (empty set)
• Group theory examples feature free group on generator set and quotient group by normal subgroup
• Topology examples encompass product topology and quotient topology
• Importance in category theory provides unified approach to define and study mathematical structures allows abstract characterizations across categories

Concept of representable functors

• Representable functor defined as $\text{Hom}(A, -)$ for object A in category C maps objects to sets of morphisms from A
• Properties include limit preservation and isomorphism reflection
• Connection to universal properties often expressed through representable functors establishes bijection between natural transformations and elements of representing object
• Yoneda lemma establishes fundamental relationship between representable functors and other functors

Construction of Yoneda embedding

• Yoneda embedding constructed as functor $Y: C \to [C^{op}, \text{Set}]$ maps object A to representable functor $\text{Hom}(-, A)$ and morphism $f: A \to B$ to natural transformation $\text{Hom}(-, f)$
• Properties include full faithfulness limit and colimit preservation
• Significance allows study of category C through functors $C^{op} \to \text{Set}$ embeds C into functor and natural transformation category provides concrete representation of abstract categorical concepts

Proof and applications of Yoneda lemma

• Yoneda lemma states natural bijection between natural transformations $\text{Hom}(A, -) \to F$ and elements of $F(A)$
• Proof outline:
  1. Construct bijection explicitly
  2. Show naturality of bijection
  3. Verify bijectivity
• Applications include characterizing representable functors proving full faithfulness of Yoneda embedding studying natural transformations between functors
• Consequences demonstrate objects in category determined by morphisms into them establish equivalence between small categories and certain functor categories lay foundation for enriched category theory and higher category theory