Categorical methods in topology, algebra and computer science

拓扑、代数和计算机科学中的分类方法

• 批准号: 8844-2006
• 负责人: Tholen, Walter
• 金额: $ 1.46万
• 依托单位: York University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2008
• 资助国家: 加拿大
• 起止时间: 2008-01-01 至 2009-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=389846
• 关键词: Categorical; methods; topology; algebra; computer

Category theory aims at detecting common aspects of various mathematical theories and at establishing theorems that are therefore simultaneously applicable to many distinct areas of mathematics and its applications in the natural sciences, without necessarily resorting to traditional foundations based on set theory. The proposed project is concentrated on the interface between algebra and topology, but will also reach out to themes pursued in homotopical algebra, algebraic geometry, and domain theory. Specifically, we wish -  to study comprehensively so-called lax Eilenberg-Moore algebras, which are designed to make structures of general topology accessible to tools that have been successfully used in algebra, - to refine and extend the existing "intrinsic" theory of topological structures in rather arbitrary categories and apply it to the afore-mentioned lax algebras, - to develop a theory of torsion and of localizations that is applicable to semi-abelian categories and beyond, as well as to the triangulated categories of stable homotopy theory, - to establish a theory of lax factorization structures with the aim of applying it in homotopy theory, - to give a new treatment of categories of Chu spaces, in terms of their topologicity over the base category, and integrate them into Sambin's approach to formal topology as used in theoretical computer science.

范畴理论旨在发现各种数学理论的共同方面，并建立同时适用于许多不同的数学领域及其在自然科学中的应用的定理，而不一定求助于基于集合论的传统基础。拟议的项目集中在代数和拓扑学之间的界面上，但也将触及同伦代数、代数几何和区域理论中追求的主题。具体地说，我们希望全面研究所谓的Lax Eilenberg-Moore代数，它被设计成使已在代数中成功使用的工具能够访问一般拓扑结构；提炼和扩展相当任意范畴中现有的拓扑结构的“内在”理论，并将其应用于上述Lax代数；发展适用于半阿贝尔范畴及以上以及稳定同伦理论的三角范畴的扭转和局部化理论；建立Lax分解结构理论，目的是将其应用于同伦理论，-根据基本范畴上的拓扑性，给出了Chu空间范畴的一种新的处理方法，并将它们整合到Sambin的形式拓扑方法中，如理论计算机科学中所使用的那样。