zbMATH — the first resource for mathematics

Modeling conditional rewriting logic in structured categories. (English) Zbl 0912.68094
Meseguer, J. (ed.), Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3–6, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 4, 15 p. (1996).
Summary: 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.
For the entire collection see [Zbl 0903.00068].

68Q42 Grammars and rewriting systems
68T27 Logic in artificial intelligence
rewriting logic
Full Text: Link