一种序理论的电路语法与概念格的表征

我们采用序理论的方法来处理电路（字符串图）语法，将电路视为具有额外输入-输出结构的偏序集。我们定义了电路之间的态射，并证明了一个分解定理，表明在有限情况下，这些态射可以被视为形式化了语法电路重写的概念，其中商映射特别对应于门组合。然后，我们考虑电路的连通性，表示为输入和输出之间的二元关系，并从形式概念分析中表征概念格，作为在所有具有相同连通性的电路中唯一允许来自其他电路态射的最小电路。这对量子因果关系具有重要意义，特别是对酉变换的因果分解研究。最后，我们构造了对偶陈述所表征的电路。