该论文从一种新颖的视角研究了量子信息和计算，通过将量子力学的标准公理化展示转化为具有双积紧闭类别的更抽象水平，展示了量子信息协议中重要结构的抽象层面。此外，从紧闭和双积这两种看似纯定性结构的组合中产生了 “标量” 和 “Born 规则”。

Feb, 2004

本文介绍了一种基于 ZX 演算的全新的量子电路优化方法，利用两种图形转换操作即本地补集和旋转操作，简化可变形 ZX 图并确定了一种确定性电路提取过程。该方法可以产生比切分合成方法更小的电路，在某些场景下可以实现门的最优化。

Feb, 2019

本文介绍了范畴论中的一些主题，主要集中在单且大多为对称的单子类别上，特别是具有有限维希尔伯特空间、关系和流形作为对象时的类别。这些类别具有共同的特征，如图解演算，紧闭结构和特定类型的内部余半群，并引导我们向拓扑量子场论。此外，还讨论了一些基本的主题，如偏序类别、群表示和单子类别的严格化和一致性。

May, 2009

使用张量网络的语言，描述了一个用于完全正态映射的图形微积分，介绍了量子信息理论的开放量子系统和其他基本概念，特别是展示了如何构建张量网络来图形化地表示量子态演化的不同方式，并通过几个示例说明了该图形微积分的实用性。

Nov, 2011

本文章提出了一个适用于贝叶斯推断的图形框架，能够容纳标准情况以及最近有关量子贝叶斯推断理论的提议，其中考虑密度算符而非概率分布作为信念度量的代表。该文对对称单调范畴的图形语言，紧凑结构和其中的 Frobenius 结构进行了说明，其中贝叶斯反演简化为相对于适当紧凑结构的转置。同时，我们还介绍了一种类量子的微积分，其中 Frobenius 结构是非交换的，并且可以容纳 Leifer 的 “条件密度算符” 微积分。本文还将条件独立性的概念推广到图形设置，并与贝叶斯网络理论进行了初步联系。最后，我们演示了如何在任何陪距紧凑范畴内构建图形贝叶斯微积分。

Feb, 2011

这篇论文提出了一个基于矢量图的高级替代哈密顿空间正式主义的方案，支持直观的量子系统相互作用推理和量子计算机方案的图形化证明，同时分析量子非局域性结构的起源。这个高层图形正式主义的数学基础是单调类别，由于在物理理论、逻辑、编程语言和生物学等领域中具有自然基础，因此被广泛使用。

Aug, 2009

本文介绍了单型范畴及其相关的字符串图等概念的参考指南，主要应用于数学、物理学和计算机科学等领域，对拓扑学的概念进行了非正式的介绍并省略了大部分证明，旨在作为深入学习的起点。

Aug, 2009

介绍了在物理学中引入的 Feynman diagrams 以及其与拓扑学、逻辑学和计算机科学等领域之间的类比关系，并使用闭对称多重类的概念将一些类比关系形式化。

Mar, 2009

提出一种基于经典乘法线性逻辑的范畴文法，使用标记的端点将单词组成元组而不是抽象的 λ 项，称为 Multiwords；Multiwords 可以组成一个具有基本代数结构的类别，并且研究它可能有助于理解语言语义和为其他形式主义提供分类表示。

Oct, 2018

本文研究了量子力学范畴公理化研究中近期作者和 Bob Coecke 提出的结构，特别是强紧闭范畴的概念。我们解释了如何利用这些结构来支持标量概念，并展示了强紧闭概念是经典的紧闭范畴概念的明显改进。之后，我们进一步讨论了一系列越来越复杂的结构化范畴的免费构造。

Oct, 2009