Studies on Properties of a Computation System over the Linear Category

点击翻译按钮获取中文摘要

We studied novel computation systems based on category theory. Relations between the lambda calculus, which forms a basis of programming languages, and the category theory, which is a foundation of mathematics, are well-known. This project is a part of a series of researches toward construction of computation systems based on rigid mathematical foundations, restructuring category theory as computation systems. In this project, we developed a computation system over the classical linear category, and we studied its properties.