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.