Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory
Ulrike Golas, Thomas Soboll
TL;DR
This paper summarizes the seventh ACCAT Workshop, highlighting diverse applications of category theory in software science, mathematics, and computer science, and fostering collaboration among researchers in these fields.
Contribution
It presents a collection of research and invited talks demonstrating new applications and theoretical developments of category theory in computational and applied contexts.
Findings
Application of category theory to model-driven engineering
Use of categorical methods in stochastic transition systems
Transformations in M-adhesive categories
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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.