第七届ACCAT应用和计算范畴论研讨会论文集
Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory
摘要：
范畴论是一种著名的强大的数学建模语言，在数学和计算机科学中有着广泛的应用，特别是在软件科学和开发中的语义基础。分类方法已经很好地建立了类型论（Caribbean封闭范畴）、数据类型规范框架（机构）和图转换（粘性高级替换范畴）的语义基础。ACCAT应用和计算范畴理论研讨会的目的是将这些领域的领先研究人员与软件科学和开发人员聚集在一起，以便在两个方向上转移范畴概念和理论。研讨会的目的是代表一个论坛的研究人员和从业者谁有兴趣在思想，概念和技术的交流，为不同的应用范畴理论。2012年4月1日，作为ETAPS 2012的附属活动，ACCAT第七届应用和计算范畴理论研讨会在爱沙尼亚塔林举行。本期包含了一个邀请演讲的完整版本以及提交的论文，其中涵盖了范畴论的广泛应用，从随机过程中过渡系统的模型驱动工程到M-粘附范畴中的转换。
英文摘要：
Category Theory is a well-known powerful mathematical modeling language with a wide area of applications in mathematics and computer science, including especially the semantical foundations of topics in software science and development. Categorical methods are already well established for the semantical foundation of type theory (cartesian closed categories), data type specification frameworks (institutions) and graph transformation (adhesive high level replacement categories). It is the intention of the ACCAT Workshops on Applied and Computational Category Theory to bring together leading researchers in these areas with those in software science and development in order to transfer categorical concepts and theories in both directions. The workshops aims to represent a forum for researchers and practitioners who are interested in an exchange of ideas, notions, and techniques for different applications of category theory. The seventh ACCAT workshop on Applied and Computational Category Theory 2012 was held in Tallinn, Estonia on the 1st of April 2012 as a satellite event of ETAPS 2012. This issue contains the full version of one of the invited talks as well as the submitted papers, which cover a wide range of applications of category theory, from model-driven engineering over transition systems in stochastic processes to transformations in M-adhesive categories.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
