Registry · Theorem
VII.T49
tau-effective
not_applicable
VII.T49 — Mitigation Archetype j-Closure
The mitigation archetype M is j-closed: j(M) = M for any Lawvere-Tierney topology j; no refinement of covering structure eliminates the need for mitigation after boundary-crossing.
Book VII
Part 1
Ch. 12