Solid applications of category theory in TCS?
Posted by Ryan Williams, at cstheory.stackexchange.com,
I've been learning a few bits of category theory. It certainly is a different way of looking at things. (Very rough summary for…
Fundamentals of Algebraic Graph Transformation
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 General Introduction
-
Altmetric BadgeChapter 2 Graphs, Typed Graphs, and the Gluing Construction
-
Altmetric BadgeChapter 3 Graph Transformation Systems
-
Altmetric BadgeChapter 4 Adhesive High-Level Replacement Categories
-
Altmetric BadgeChapter 5 Adhesive High-Level Replacement Systems
-
Altmetric BadgeChapter 6 Embedding and Local Confluence
-
Altmetric BadgeChapter 7 Constraints and Application Conditions
-
Altmetric BadgeChapter 8 Typed Attributed Graphs
-
Altmetric BadgeChapter 9 Typed Attributed Graph Transformation Systems
-
Altmetric BadgeChapter 10 Embedding and Local Confluence for Typed AGT Systems
-
Altmetric BadgeChapter 11 Adhesive HLR Categories for Typed Attributed Graphs
-
Altmetric BadgeChapter 12 Constraints, Application Conditions and Termination for Typed AGT Systems
-
Altmetric BadgeChapter 13 Typed Attributed Graph Transformation with Inheritance
-
Altmetric BadgeChapter 14 Case Study on Model Transformation
-
Altmetric BadgeChapter 15 Implementation of Typed Attributed Graph Transformation by AGG