Category theory and applications to computer science

范畴论及其在计算机科学中的应用

• 批准号: 5401-2011
• 负责人: Rosebrugh, Robert
• 金额: $ 0.73万
• 依托单位: Mount Allison University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2015
• 资助国家: 加拿大
• 起止时间: 2015-01-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=568401
• 关键词: Category; theory; applications; computer; science

Category theory is the language of many parts of modern mathematics and computer science. One of the tools often used in developing category theory is the distributive law, a form of rewriting rule. An example of this rewriting is familiar from arithmetic where every student learns that a sum of products with a common factor has a shorter expression as the common factor times a sum. When a high level distributive law holds for an ordered structure there are three related comparisons of the structure with its completion. The first comparison is a very canonical inclusion that is essentially one of the first structures found in algebra and the others express completeness and distributivity. This sort of distributivity can be considered for categories instead of just ordered structures. In that case some rather subtle arguments are needed to describe the distributive laws and their relations to the completion. Parallel and sequential computing processes are modeled very fruitfully using category theory. Combining these processes with composition is done using (generalized) products and sums, and once again the idea of distributive law provides guidance. When the language of category theory is used to express database system design it allows a clear criterion for solving an important question known as the the View Update Problem. Similar questions arise elsewhere in computer science and category theoretic criterion works there as well.

范畴论是现代数学和计算机科学的许多部分的语言。在发展范畴论时经常使用的工具之一是分配律，这是一种改写规则。这种重写的一个例子在算术中很熟悉，每个学生都知道带有公因数的乘积的和有一个更短的表达式，公因数乘以和。