definition · DEF-HIGHER-GAUGE-11
Witnesswise-complete refinement
Source-defined higher-gauge-descent
A refinement is witnesswise complete when it preserves both the full reconstruction object and the admitted witness reconstruction object by equivalences, compatibly with the comparison maps.
Firewall. Refining the cover while preserving only the full global theory is insufficient. The selected witness defect must also be transported.
Source
Admissible Witness Descent for Higher Gauge Fields, public website edition v1.0. Not peer reviewed.
Bidirectional research graph
Where this object sits in the mathematics
Incoming and outgoing relations are generated from the same typed graph used by paper pages. Nothing is inferred from title similarity or prose alone.
Referenced by
No source-verified relations recorded yet.
Points to
No source-verified relations recorded yet.