Results Glossary Entry Canonical mathematics The 4+1 Sector Decomposition (III.D13) decomposes τ-categorical content into five canonical sectors: four 'analytic' sectors (D, A, B, C) plus the closed 'ω' sector. The 4+1 structure mirrors the Book V physics-side cascade (which uses the …
Results · Mathematics Glossary · Definition MathG-D07-4-plus-1-sector (D, A, B, C, ω) Canonical

4+1 Sector Decomposition

The 4+1 Sector Decomposition (III.D13) decomposes τ-categorical content into five canonical sectors: four 'analytic' sectors (D, A, B, C) plus the closed 'ω' sector. The 4+1 structure mirrors the Book V physics-side cascade (which uses the same 5 sectors for the constants ledger), making the decomposition the framework's structural bridge between Books I-III and Books IV-V.

Mathematics Glossary Primary: III.D13

τ-Definition

The 4+1 Sector Decomposition (III.D13) decomposes τ-categorical content into five canonical sectors: four 'analytic' sectors (D, A, B, C) plus the closed 'ω' sector. The 4+1 structure mirrors the Book V physics-side cascade (which uses the same 5 sectors for the constants ledger), making the decomposition the framework's structural bridge between Books I-III and Books IV-V.

Categorical invariant. A canonical decomposition τ-Spec ≅ τ-D ⊕ τ-A ⊕ τ-B ⊕ τ-C ⊕ τ-ω with the ω-sector marked closed (no further decomposition).

Primary registry anchor: III.D13

Supporting items: III.T14, I.K6

τ-Derivation Chain

  1. I.K0 — Universe Postulate
  2. I.K6 — K6 closure — caps the decomposition at 5
  3. III.D13 — 4+1 Sector Decomposition

Lean modules referenced: TauLib.BookIII.Sectors.Decomposition

Mathematical content

Definition (D, A, B, C, ω)
Definition

τ-Spec decomposes canonically into five sectors: τ-D (D-sector), τ-A (A-sector), τ-B (B-sector), τ-C (C-sector), and τ-ω (ω-sector), with τ-Spec ≅ τ-D ⊕ τ-A ⊕ τ-B ⊕ τ-C ⊕ τ-ω. The ω-sector is structurally closed — no further sub-decomposition is consistent with K6.

Why 4+1. Four analytic sectors (D = dimension, A = action, B = boundary, C = co-boundary) parametrize the τ-categorical content reachable from the K1–K5 generators. The closed ω-sector represents content K6 forbids from further decomposition. The shape '4+1' rather than '5' reflects this structural distinction.

Consequences:

  • Books IV-V physics-side cascade uses the same 5 sectors (called {D, A, B, C, ω} there too) for the constants ledger — the 4+1 decomposition is the structural bridge between the books.
  • Master schema (V.T142) — every physical constant is a sector readout, and the readouts use this exact decomposition.
  • Mutual Determination (T11) — two of the five presentations (Spec, SplitComplex) operate on this decomposition.

Lean Coverage

Status: Formalized

Module: TauLib.BookIII.Sectors.Decomposition

Lean kind: structure

Lean symbol: Tau.BookIII.Sectors.fourPlusOneDecomp

Cross-domain bridges

This glossary term sits on the boundary between domains. The τ-framework's cross-domain pivots are the structural junctions where physics, life, and metaphysics readouts meet.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert