Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory

Abstract

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.