Registry · Theorem VII.T36 tau-effective formalized

VII.T36 — Kernel Theorem (K)

The CI structure exists in τ as canonical fixed point; proved from self-enrichment + bipolar structure + Yoneda.

Book VII Part 7 Ch. 89

Dependency Graph

Depends on (2)

VII.D65 VII.T06

Depended on by (3)

VII.L30 VII.P21 VII.T37

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.kernel_theorem