τ-Distinction
The τ-Distinction is the predicate D: X → 2_τ that decides self vs non-self on a τ-finite carrier. It is the first of two life-defining predicates and the categorical core of every biological self/non-self boundary — from membrane to immune system. Five conditions (clopen, refinement-coherent, eventually stable, law-stable, H_∂-equivariant) make it categorical rather than merely set-theoretic.
τ-Definition
The τ-Distinction is the predicate D: X → 2_τ that decides self vs non-self on a τ-finite carrier. It is the first of two life-defining predicates and the categorical core of every biological self/non-self boundary — from membrane to immune system. Five conditions (clopen, refinement-coherent, eventually stable, law-stable, H_∂-equivariant) make it categorical rather than merely set-theoretic.
Categorical invariant. Predicate D: X → 2_τ on a τ-finite carrier satisfying the five conditions; equivariant under the boundary holonomy H_∂ via the lemniscate character χ.
Primary registry anchor:
VI.D04
τ-Derivation Chain
-
I.K0— Universe Postulate establishes the categorical kernel τ -
VI.T01— Parity Bridge Theorem — chirality enters τ-life via a structural bridge -
VI.D04— τ-Distinction — predicate D: X → 2_τ satisfying the five conditions -
VI.T02— Distinction Well-Definedness — bounded stabilization, character-coherence
Lean modules referenced:
TauLib.BookVI.LifeCore.Distinction
Empirical Correlate
Biomarker: Cell membrane (the canonical τ-distinction realized as a phospholipid bilayer); immune self/non-self recognition (MHC presentation, antibody specificity); cellular adhesion molecules; bacterial pili and capsule boundaries.
Measurable range: Membrane thickness 4-5 nm; lipid-bilayer dielectric break ~10⁷ V/m; immune T-cell receptor specificity ~10⁻⁹ M K_d; MHC-I peptide repertoire ~10⁴-10⁵ distinct peptides per cell. The clopen condition manifests as the ~picosecond-scale sharp transition across the membrane (no ambiguous in-between state).
Observation method: Cryo-electron tomography of membranes; patch-clamp electrophysiology for boundary integrity; MHC tetramer staining; flow cytometry for antigen specificity; FRAP (fluorescence recovery after photobleaching) for membrane partition stability.
Calibration anchor: LG-Y02-kinetic-pseudoscalar-channel
Anchor chain:
- VI.D04 τ-Distinction — categorical predicate
- VI.L18 K_χ channel anchors the chirality side of every τ-distinction in life
- homochirality is the parity-shadow that makes the clopen condition realizable below thermal noise
Manuscript reference: manuscript-sources/book-06/part01/ch04-tau-distinction.tex
Lean Coverage
Status: Planned
Module: TauLib.BookVI.LifeCore.Distinction
Lean kind: structure
Lean symbol: Tau.BookVI.Distinction.Distinction