Manuscript Em01-A@1 · Em01-A.tex · section · 880b67af

Presentations are not reconstructed kernels

Reconstruction descent and canonical-domain agreement › Presentations are not reconstructed kernels · lines 967–981

Let $P$ be a vector space of internal presentations and

Rec : P ⟶ D^{'} (W; V_{int})

a linear reconstruction map. Define

K_{int} := im Rec .

A presentation-level candidate has the form

M : P ⟶ D^{'} (W; V) .

Displayed formulas in this passage