Registry · Definition V.D83 tau-effective formalized

V.D83 — Thermodynamic equilibrium---categorical

Categorical thermodynamic equilibrium: a configuration omega_eq on tau^3 with vanishing defect entropy S_def[omega_eq] = 0, meaning all holomorphic continuations are structurally trivial -- no defect bundles, no non-holomorphic insertions, no physically resolvable disorder.

Book V Part 3 Ch. 21

Lean Formalization

Module: TauLib.BookV.Thermodynamics.Inversion

Symbol: Tau.BookV.Thermodynamics.ThermodynamicEquilibriumcategorical