An abstract formulation for rewrite systems

DOI10.1007/BFb0018358zbMath1493.68178MaRDI QIDQ5096266

A. John Power

Publication date: 16 August 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) 2-categories, bicategories, double categories (18N10)

Related Items (8)

Context rewriting ⋮ Conditional rewriting logic: Deduction, models and concurrency ⋮ Relating two categorical models of term rewriting ⋮ CPO models for infinite term rewriting ⋮ Protocol choice and iteration for the free cornering ⋮ Relative full completeness for bicategorical Cartesian closed structure ⋮ Conditional rewriting logic as a unified model of concurrency ⋮ Categorical rewriting of term-like structures

Cites Work

• A 2-categorical pasting theorem
• Limits indexed by category-valued 2-functors
• Introduction to bicategories
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An abstract formulation for rewrite systems