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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google