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.
翻译:本文引入基于范畴论的框架,以量子计算及非标准计算系统的最新进展为背景,重新定义物理计算。通过将经典定义纳入这一更广泛的视角,本文严谨地重新诠释了物理计算设备与过程的构成要素。本文论证了如何利用范畴论系统化地形式化物理计算系统的组合性质与关系结构。该方法不仅涵盖了物理计算领域的最新形式化体系,还为探索这些系统内的动态交互提供了结构化途径。