Mathematical Sciences: Logic and Categories

数学科学：逻辑和范畴

• 批准号: 8801988
• 负责人: Andreas Blass
• 金额: $ 9.97万
• 依托单位: Regents of the University of Michigan - Ann Arbor
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1988
• 资助国家: 美国
• 起止时间: 1988-06-15 至 1992-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8801988&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Logic; Categories

Mathematical logic and algebra have always had a certain affinity and have been drawing closer in some ways in recent years. The research project of A. Blass deals with several problems at the interface between category theory, particularly topos theory, on the one hand, and logic, particularly set theory and combinatorics, on the other hand. The problems lie in three general areas: (1) logical aspects of geometric morphisms and classifying topoi, (2) set theory in topoi, and (3) applications of the category-theoretic perspective to concepts in set theory and combinatorics.

数理逻辑和代数一直都有 最近在某种程度上， 年 A.布拉斯处理几个 在范畴理论之间的接口问题，特别是 拓扑理论，一方面，和逻辑，特别是设置 理论和组合学 问题在于 三个一般领域：（1）几何态射的逻辑方面 和分类拓扑，（2）拓扑中的集合论，以及（3） 范畴论观点在概念中的应用 集合论和组合学