TauLib Book I — Categorical Foundations

All Lean 4 modules corresponding to Book I (Parts I–XVII). 79 chapters, 218 registry entries, 91 modules, zero sorry.

Structure

• Kernel (Parts I–II): 5 generators, K0–K6 axioms, ρ operator

• Orbit (Part III): Generation, closure, iterator ladder

• Denotation (Part IV): τ-Idx, arithmetic, program monoid

• Coordinates (Part V): Normal form, ABCD chart, hyperfactorization

• Polarity (Parts VI–VII): Primes, lemniscate, bipolar algebra

• Boundary (Parts VIII–X): Ring, scalars, number systems, characters

• Logic (Part XI): Truth4, explosion, Boolean recovery

• Holomorphy (Parts XII, XV–XVI): D-holomorphic, Global Hartogs, presheaf essence

• Sets (Part XIII): Internal set theory, Cantor refutation

• Topos (Part XIV): Earned arrows, functors, sites, topos, bi-monoidal

• MetaLogic (Part XVII): Proof-theoretic mirror, structural exclusion, diagonal resonance, ontic invariance, reception criterion

• CF: Continued fraction window algebra