Book II · Chapter 41

Chapter 41: Pre-Yoneda Embedding

Page 219 in the printed volume

This chapter establishes a phenomenon that has no classical analogue: holomorphic functions on τ³ are themselves objects of τ³. The function space Hol_τ(τ³, H_τ) embeds into the ω-germ space d(τ³) via a canonical injection y that preserves bipolar decomposition, regularity, and the full ABCD coordinate structure. A function on the space is also a point of the space. This self-referential property is the Pre-Yoneda Embedding (the relevant definition, II.D50). The chapter draws on two sources: Book I’s Presheaf Characterization (I.T40) and the regularity theory of Part VII. From Book I, we inherit the algebraic insight that τ-holomorphy is naturality plus sector independence. From Part VII, we inherit the Idempotent Decomposition Lemma (II.L07) and the positive regularity criterion (II.T34). Together, these allow us to prove Proposition [prop:functions-as-objects] (II.P10): the embedding y is structure-preserving in a precise sense. The chapter closes with a conceptual remark (Remark [rem:probe-naturality], II.R12) connecting probe naturality to holomorphy: a function is τ-holomorphic if and only if probing by cylinder inclusions yields natural transformations in the staging variable. This is the deep reason that self-enrichment and Yoneda will follow in Part VIII.