theorem · THM-HIGHER-GAUGE-01

Truncated witness comparison — standard input applied

standard input applied higher-gauge-descent

For an -truncated diagram, -connectivity of the relevant comma spaces makes restriction from the full diagram to the witness diagram an equivalence on limits. The paper also gives a sharp counterexample showing that lowering the connectivity by one degree fails.

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.

Open full research graph →

Referenced by

No source-verified relations recorded yet.

Points to

No source-verified relations recorded yet.