2 search results - page 1 / 1 » Collagories for Relational Adhesive Rewriting |
RELMICS
2009
Springer
13 years 11 months ago
2009
Springer
We define collagories essentially as “distributive allegories without zero morphisms”, and show that they are sufficient for accommodating the relation-algebraic approach to ...
ACS
2008
13 years 5 months ago
2008
Abstract Subobject transformation systems (sts) are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pu...