Mathematical Sciences: Logic and Categories

数理逻辑和代数一直有一定的亲和力，近年来在某些方面越来越接近。Blass的研究项目一方面涉及范畴理论，特别是Topos理论，另一方面涉及逻辑，特别是集合论和组合学之间的几个问题。这些问题一般存在于三个领域：(1)几何态射和分类拓扑学的逻辑方面，(2)拓扑学中的集合论，以及(3)范畴论观点在集合论和组合学概念中的应用。

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.