Filtered nonabelian reconstruction — derived theorem

If every reachable stage of a finite completion tower has a contractible filler space, the initial admitted data reconstruct the full nonabelian field. The theorem is pointwise: it separates completion of one chosen partial field from a uniform equivalence for all fields.

Source

Admissible Witness Descent for Higher Gauge Fields, public website edition v1.0. Not peer reviewed.