论文标题
物理计算：物理计算和系统组成的类别理论观点
Physical Computing: A Category Theoretic Perspective on Physical Computation and System Compositionality
论文作者
论文摘要
本文介绍了一个基于类别的理论框架，以根据量子计算和非标准计算系统的进步来重新定义物理计算。通过将经典定义集成到这个更广泛的角度，该论文严格地重新连接构成物理计算设备和过程的内容。它展示了如何使用类别理论一致对物理计算系统的组成性质和关系结构进行一致形式化。这种方法不仅封装了物理计算中的最新形式主义，而且还提供了一种结构化方法来探索这些系统中的动态相互作用。
This paper introduces a category theory-based framework to redefine physical computing in light of advancements in quantum computing and non-standard computing systems. By integrating classical definitions within this broader perspective, the paper rigorously recontextualizes what constitutes physical computing devices and processes. It demonstrates how the compositional nature and relational structures of physical computing systems can be coherently formalized using category theory. This approach not only encapsulates recent formalisms in physical computing but also offers a structured method to explore the dynamic interactions within these systems.
