Manuscript Oai069-A@1 · Oai069-A.tex · section · a4913aab
The exact remaining source-to-operation bridge
The exact remaining source-to-operation bridge · lines 1711–1716
The completions are not asserted to realize the source functor. They identify precisely the missing quantifier: a category record without an operational bridge does not select the channel.