Registry · Definition IV.D258 tau-effective formalized

IV.D258 — Yoneda self-image

The Yoneda self-image Y_L(tau) = Nat(h^L, h^L) is the algebra of natural transformations of the representable functor h^L = Hom_tau(-, L) at the lemniscate boundary. In a self-enriched category, this lands in tau itself, making self-description a structural feature, not a metaphor.

Book IV Part 1 Ch. 5

Lean Formalization

Module: TauLib.BookIV.Arena.BoundaryHolonomy

Symbol: Tau.BookIV.Arena.YonedaSelfimage