Mathematical Sciences: Applications of Category Theory in the Semantics of Programming Languages

本项目关注的是类别的应用 理论到编程语言的语义。校长 研究人员将研究代数语义的范畴 PER，订单丰富草图，丰富语义，初始 代数和一些计算机相关的研究。 本项目的研究涉及应用 理论计算机科学中的问题。 传统上，范畴论处理的是 也就是说，它专注于代数集合， 结构，保持该结构的集合之间的映射， 以及更抽象的函子，它们将 代数结构及其映射。近年来这一 一个研究课题在理论计算机领域获得了新生 科学在这个项目中，范畴理论的技术 将应用于程序设计语义的研究 语言、数据类型和分类编程。

This project is concerned with the application of category theory to the semantics of programming languages. The principal investigator will examine algebraic semantics in the category PER, order-enriched sketches, enriched semantics, initial algebras and some computer related research. The research in this project involves the application of category theory to problems in theoretical computer science. Traditionally, category theory has dealt with the foundations of algebra; namely, it has focused on sets with algebraic structure, mappings between sets that preserve that structure, and even more abstract functors that relate the collections of algebraic structures and their mappings. In recent years, this research subject has enjoyed a rebirth in theoretical computer science. In this project, the techniques of category theory will be applied to study the semantics of programming languages, data types, and categorical programming.