Manuscript Oai280-A@1 · Oai280-A.tex · section · 27038823
Stage 4: extension correspondence without bulk identification
Stage 4: extension correspondence without bulk identification · lines 1449–1457
A Q-system encodes extension data inside an appropriate tensor category. When the required VOA and net comparison hypotheses are independently established, Gui's theorems compare the corresponding extensions GuiExtensions,GuiQSystems. Record record:extensions states the general application claimed in the supplied preprint.