Manuscript Oai069-A@1 · Oai069-A.tex · section · a4913aab
Positive channels require more than the categorical equivalence
An explicit abelian local-system category › Positive channels require more than the categorical equivalence · lines 590–596
Our equivalence in Theorem thm:category has the additional dagger and unitary structures needed for the next section. The general Family 069 record supplies no operational analogue of those choices.