Modelling Conditional Rewriting Logic in Structured Categories
Hiroyuki Miyoshi · Electronic Notes in Theoretical Computer Science · 1996
We reformulate and generalize the functorial model of Meseguer's conditional full rewriting logic by using inserter, a weighted limit in 2-categories. Indeed 2-categories are categories enriched in Cat. Therefore this method also can be extended to sesqui-categories and other enriched categories, with which we can model various aspects of rewritings and strategies.