Developments in quantum computing and, more in general, non-standard computing systems, represent a clear indication that the very notion of what a physical computing device is and does should be recast in a rigorous and sound framework. Physical computing has opened a whole stream of new research aimed to understand and control how information is processed by several types of physical devices. Therefore, classical definitions and entire frameworks need to be adapted in order to fit a broader notion of what physical computing systems really are. Recent studies have proposed a formalism that can be used to carve out a more proper notion of physical computing. In this paper we present a framework which capture such results in a very natural way via some basic constructions in Category Theory. Furthermore, we show that, within our framework, the compositional nature of physical computing systems is naturally formalized, and that it can be organized in coherent structures by the means of their relational nature.

翻译：量子计算以及更一般而言非标准计算系统的发展表明,物理计算装置的本质和作用的概念应该在一个严格和健全的框架内重新塑造。物理计算已经开启了一整串新的研究,旨在了解和控制信息如何被几种物理装置处理。因此,传统定义和整个框架需要调整,以适应物理计算系统的真实性这一更广泛的概念。最近的研究提出了一种形式主义,可以用来形成一种更适当的物理计算概念。在本文中,我们提出了一个框架,通过分类理论中的一些基本构造以非常自然的方式捕捉这种结果。此外,我们表明,在我们的框架内,物理计算系统的构成性质是自然正规化的,并且可以通过其关系性质的方式以连贯的结构加以组织。