Chapter 51: Yoneda Applied — ω-Germs Are Holomorphic Functions
Part VIII proved the Yoneda embedding as a theorem (II.T36, the relevant chapter): the functor y : τ ↪ [τ^op, τ] is fully faithful. That was an abstract categorical fact, true of any enriched category satisfying the relevant representability conditions. This chapter applies the Yoneda theorem to the specific object τ³ and the specific Hom target H_τ, proving the final link before the Central Theorem: ω-germ transformers are τ-holomorphic functions. The Yoneda Application (Lemma [lem:yoneda-application], II.L14) identifies elements of the internal Hom [τ³, H_τ] with natural transformations y(τ³) → y(H_τ), and then with ω-germ transformers via probe naturality (II.R12). The main result, **the relevant theorem (II.T39), establishes a canonical bijection between ω-germ transformers on τ³ and τ-holomorphic functions τ³ → H_τ. The proof requires all the τ-specific infrastructure: bipolar idempotents, tower coherence, the Code/Decode bijection (II.T35), and the characterization theorem (II.T33: holomorphic ⇔ idempotent-supported). The loop now closes: boundary characters → Hartogs extensions → ω-germ transformers → holomorphic functions. the relevant chapter assembles the full Central Theorem from these four bijections.