量子计算的预层模型：概述
Presheaf models of quantum computation: an outline
摘要：
本文概述了高阶量子计算范畴模型的构建。我们构建了一个具体的指称语义Selinger和Valiron的量子lambda演算，这是以前的一个开放的问题。我们这样做是通过考虑一阶量子计算产生的适当的基本范畴上的预层。主要的技术成分是日的卷积理论和凯利和Freyd的概念连续性的函子。我们首先给出一个抽象的描述所需的基本类别的模型构造工作的属性。然后，我们展示了一个特定的例子，满足这些属性的基本范畴。
英文摘要：
This paper outlines the construction of categorical models of higher-order quantum computation. We construct a concrete denotational semantics of Selinger and Valiron's quantum lambda calculus, which was previously an open problem. We do this by considering presheaves over appropriate base categories arising from first-order quantum computation. The main technical ingredients are Day's convolution theory and Kelly and Freyd's notion of continuity of functors. We first give an abstract description of the properties required of the base categories for the model construction to work. We then exhibit a specific example of base categories satisfying these properties.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
