Browsing Institutt for datateknologi, elektroteknologi og realfag by Subject "category theory"
Now showing items 1-1 of 1
-
Single pushout rewriting in comprehensive systems of graph-like structures
(Peer reviewed; Journal article, 2021)The elegance of the single-pushout (SPO) approach to graph transformations arises from substituting total morphisms by partial ones in the underlying category. SPO's applicability depends on the durability of pushouts after ...