Book I: Categorical Foundations
How Mathematics Is Earned
Parts
Earned Foundations
This Prologue situates Book I within the Panta Rhei series and introduces the foundational principle that governs the entire second edition: every mathematical…
The Coherence Kernel
Category τ begins with five generators in strict total order — α < π < γ < η < ω — and a single ontic operator ρ (progression). A zeroth axiom K0…
Orbit Generation and Ontic Closure
The static kernel τ₀ is a specification — precise, categorical, and inert. Part I assembled the blueprint: five generators, one operator ρ, and six axioms…
The Denotational Bridge
The ontic seal is in place. Every object of τ exists, is unique, and is rigid. From this point forward, we only name — never create. The alpha-orbit…
The ABCD Coordinate Chart
Parts I–III established the bare-metal foundations of Category τ: a static kernel of five generators and six axioms (Part I), a single generative act…
Hyperfactorization
Part IV defined the ABCD coordinate chart: a total map Φ : Obj(τ) → τ-Idx⁴ that assigns four typed coordinates to every object. Existence of the chart was…
The Prime Polarity Theorem
The Hyperfactorization Theorem (Part V) established that every object of Category τ has a unique ABCD address. The four coordinates are independent,…
Omega-Germs & the Algebraic Lemniscate
The Prime Polarity Theorem (Part VI) established that every internal prime carries a canonical polarity: B-dominant or C-dominant. Both classes are infinite.…
The Spectral Ring
Part VII introduced the boundary local ring (Chapter [ch:bipolar-algebra]): stagewise ring operations on omega-tails, the Chinese Remainder Theorem on the…
Earned Number Systems
Part VIII introduced the number tower ℕ_τ ⊆ ℤ_τ ⊆ ℚ_τ ⊆ ℝ_τ ⊆ ℂ_τ (Chapter [ch:number-tower]), establishing definitions and basic properties for each level.…
Lemniscate Characters
Part VII earned the algebraic lemniscate 𝕃 as the bipolar spectral algebra H_τ = A_τ^(B) × A_τ^(C) (Chapter [ch:bipolar-algebra]), and Part IX…
τ
Parts VI–VII proved that the primes carry a canonical bipolar polarity (B-dominant vs. C-dominant), and Parts IX–X developed the split-complex scalars, the…
Holomorphic Transformers
Parts VIII–XI earned the boundary ring ℤ_τ, its split-complex scalar algebra H_τ, the fundamental characters χ_±, and the four-valued logic…
Internal Set Theory & The Cantor Mirage
Parts IV–VII built the ABCD coordinate chart, proved the two hinge theorems (Hyperfactorization and Prime Polarity), and earned the algebraic lemniscate 𝕃.…
The Earned Topos
Part XII earned the three ingredients of τ-holomorphic rigidity: D-holomorphy (sector independence), tower coherence (primorial compatibility), and the…
Global Hartogs
Every tool in this book has been forged for a single purpose: to prove that the limit determines the stages. In classical complex analysis, Hartogs’…
The Presheaf Essence
Part XVI proved the Global Hartogs Extension Theorem: the limit determines the stages, and omega-tail data on 𝕃 uniquely extends to all of τ³. Part XVIII…
The Proof-Theoretic Mirror
Part XVII closed the development: seventy-nine chapters, every object and theorem earned from five generators, one operator, and seven axioms K0–K6. The…
Reading edition
This is the Corpus projection of Book I. It exposes the monograph in Book → Part → Chapter order as part of the constructed research body.
For citation metadata, DOI records, cover images, and retail/download status, use the Research Monograph artifact.
About This Volume
This Prologue situates Book I within the Panta Rhei series and introduces the foundational principle that governs the entire second edition: every mathematical tool is earned from five generators, seven axioms, and the progression operator ρ. We preview the Three Keys (Hyperfactorization, Prime Polarity, Split-Complex Holomorphy), the four-layer Kernel Hinge that structures the book’s seventy-nine chapters, and the self-enrichment ladder E₀ → E₁ → E₂ → E₃ that connects Book I to the rest of the series.
Linked publication and verification artifacts
- Registry: 79 chapters mapped to registry objects
- Dashboard: Formalization status and dependency graph
- Formalization: TauLib BookI — Lean 4 verification