Manuscript Em01-A@1 · Em01-A.tex · section · 880b67af
A bridge certificate
What would constitute an actual graph bridge? › A bridge certificate · lines 1459–1465
This is a list of obligations, not a construction. Descent belongs to defining a map on actual reconstructed kernels: it is not an optional conclusion to be postponed after presentation-level formulas have been treated as intrinsic.