Structures at the Interface of Physics and Computer Science

该提案旨在资助一个网络，以支持在计算机科学，物理学和数学接口工作的新兴研究社区。共同的主题是使用高级数学结构，如范畴理论。事实证明，这些结构在这些学科的各个具体领域都很重要。最近已经变得越来越清楚，它们可以以一种统一的、非常强大的方式使用，并且在这些学科中出现相同的结构。这导致了许多令人兴奋的研究，这些研究将知名研究人员聚集在一起，并吸引学生和年轻研究人员进入该地区。该网络的目的是促进和支持这些活动，并培育以英国为中心的新兴研究社区的发展，这是这些令人兴奋的发展的前沿。我们将通过支持定期会议，为年轻研究人员参加会议和进行研究访问提供差旅费，并管理强大的网络存在，可以充当社区的中心。这将有助于使联合王国吸引世界上最好的网络研究人员，并使其能够在未来的发展中发挥主导作用。

This proposal aims to fund a network to support an emerging research community working at the interface of Computer Science, Physics and Mathematics. The common theme is the use of high-level mathematical structures such as Category Theory. These structures have already proved important in various specific areas within these disciplines. It has recently been becoming clear that they can be used in a unified and very powerful way, and that the same structures occur across these disciplines. This has led to a lot of exciting research, which has been bringing established researchers together, and attracting students and young researchers into the area.The aim of the network is to foster and support these activities, and to nurture the development of an emerging research community, centred in the UK, which is at the forefront of these exciting developments.We will do this by supporting regular meetings, providing travel money for young researchers to attend conferences and make research visits, and managing a strong web presence which can act as a hub for the community. This will help to make the UK attractive to the best researchers in the world on the topic of the network, and will enable it to take a leading role in future developments.