第七届 ACCAT 应用与计算范畴论研讨会论文集
计算机科学中的逻辑
2012-08-22 v1
摘要
范畴论是一种众所周知的强大数学建模语言，在数学和计算机科学中有广泛的应用领域，尤其包括软件科学与开发中各主题的语义基础。范畴方法在类型论（笛卡尔闭范畴）、数据类型规范框架（制度）和图变换（粘合高层替换范畴）的语义基础方面已得到良好确立。ACCAT 应用与计算范畴论研讨会旨在汇集这些领域的顶尖研究人员与软件科学及开发领域的研究人员，以双向转移范畴概念与理论。该研讨会旨在为代表一个论坛，供对范畴论不同应用的思想、概念和技术交流感兴趣的研究人员和从业者使用。第七届 ACCAT 应用与计算范畴论研讨会于 2012 年 4 月 1 日在爱沙尼亚塔林举行，作为 ETAPS 2012 的卫星活动。本期包含一篇受邀报告的完整版本以及所提交的论文，涵盖了范畴论的广泛应用，从模型驱动工程、随机过程中的转移系统到 M-粘合范畴中的变换。
引用
@article{arxiv.1208.4301,
title = {Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory},
author = {Ulrike Golas and Thomas Soboll},
journal= {arXiv preprint arXiv:1208.4301},
year = {2012}
}