Manuscript Oai280-A@1 · Oai280-A.tex · section · 27038823

A locally proved descent test

The separate six-step characteristic-map chain › A locally proved descent test · lines 1851–1862

Let

Rec : P \to D^{'} (W), K = im Rec .

A presentation-level candidate $M : P \to D^{'} (W)$ is intrinsic to reconstructed kernels only if it respects every reconstruction-null presentation.

Displayed formulas in this passage

unlabeled · line 1854
$Rec : P \to D^{'} (W), K = im Rec .$

Nearby in this section

proposition: Proposition: Reconstruction descent
section: A locally proved descent test