We identify morphisms of strong profunctors as a categorification of quantum supermaps. These black-box generalisations of diagrams-with-holes are hence placed within the broader field of profunctor optics, as morphisms in the category of copresheaves on concrete networks. This enables the first construction of abstract logical connectives such as tensor products and negations for supermaps in a totally theory-independent setting. These logical connectives are found to be all that is needed to abstractly model the key structural features of the quantum theory of supermaps: black-box indefinite causal order, black-box definite causal order, and the factorisation of definitely causally ordered supermaps into concrete circuit diagrams. We demonstrate that at the heart of these factorisation theorems lies the Yoneda lemma and the notion of representability.

翻译：我们将强态射函子的态射识别为量子超映射的范畴化推广。这些带孔示意图的黑箱泛化被置于具体网络上协预层范畴的态射中，从而纳入态射范畴光学这一更广阔领域。这首次实现了在完全理论无关背景下，为超映射构造抽象逻辑连接词（如张量积与否定）。研究发现，这些逻辑连接词足以抽象建模量子超映射理论的关键结构特征：黑箱不定因果序、黑箱定因果序，以及定因果序超映射分解为具体电路示意图。我们证明，这些分解定理的核心在于米田引理与可表示性概念。