Physical Computing: A Category Theoretic Perspective on Physical Computation and System Compositionality
This provides a foundational framework for researchers in physical and quantum computing, though it is incremental in building on existing formalisms.
The paper tackles the problem of redefining physical computing to include quantum and non-standard systems by introducing a category theory-based framework, resulting in a formalization of compositional and relational structures in physical computing.
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.