Registry · Definition V.D93 tau-effective formalized

V.D93 — Topological relaxation

Topological relaxation: the process by which a defect bundle is absorbed by the lemniscate boundary L = S^1 v S^1 through a change in topological sector, with energy release given by the variation of the boundary holonomy integral over L.

Book V Part 3 Ch. 24

Lean Formalization

Module: TauLib.BookV.Thermodynamics.HeatEM

Symbol: Tau.BookV.Thermodynamics.TopologicalRelaxation