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.