theorem · THM-HIGHER-GAUGE-03
Comparison under witness enlargement — derived theorem
derived theorem higher-gauge-descent
An inclusion of witness systems induces a comparison of reconstruction objects and fibers. There is no general monotonicity theorem based only on the number of witnesses.
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.