Presentations are not reconstructed kernels

This is the same algebraic interface made explicit in the supplied XIV-J passage XIVj (Proposition prop:descent, lines 813–846). Here its topological qualification is stated separately: algebraic descent alone does not prove continuity for an independently prescribed topology on the reconstructed space.