Category theory arising from geometry, algebra, computer science and physics

源自几何、代数、计算机科学和物理学的范畴论

• 批准号: DP0450767
• 负责人: Em/Prof Ross Street
• 金额: $ 14.62万
• 依托单位: Macquarie University
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2004
• 资助国家: 澳大利亚
• 起止时间: 2004-01-01 至 2007-02-28
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP0450767
• 关键词: Category; theory; arising; geometry; algebra

Category theory is a branch of mathematics concerned with transformation and composition. It provides an algebra of wide-spread applicability for the synthesis of systems and processes in fields as diverse as geometry, physics and computer science, and also in mathematics itself. Often it can be used to clarify and simplify the learning, teaching and development of mathematics. The aim of this project is to develop the general theory of categories and specifically to investigate aspects appropriate to algebra, physics and computer science.

范畴论是数学的一个分支，研究的是变换和合成。它提供了一个代数的广泛适用性的综合系统和过程的领域，如几何，物理和计算机科学，也在数学本身。它通常可以用来澄清和简化数学的学习，教学和发展。这个项目的目的是发展范畴的一般理论，特别是研究适合代数，物理和计算机科学的方面。