Linear logic and monoidal categories

线性逻辑和幺半群类别

• 批准号: 155810-2011
• 负责人: Blute, Richard
• 金额: $ 0.8万
• 依托单位: University of Ottawa
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2012
• 资助国家: 加拿大
• 起止时间: 2012-01-01 至 2013-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=508427
• 关键词: Linear; logic; monoidal; categories

The goal of my project will be to continue to explore the theory of monoidal categories, especially using the techniques of linear logic. Examples of monoidal categories have arisen in a number of settings, from the theory of concurrent computation in computer science to topological and algebraic quantum field theory in physics. The monoidal structure is crucial in understanding these applications.

我的项目的目标将是继续探索monoidal范畴理论，特别是使用线性逻辑的技术。幺半群范畴的例子已经出现在许多环境中，从计算机科学中的并发计算理论到物理学中的拓扑和代数量子场论。幺半群结构对于理解这些应用至关重要。