Category theory and applications to computer science

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

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

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