Scifaro

中文

范畴抽象重写系统与图变换的函子性

计算机科学中的逻辑 2011-06-01 v3

作者: Dominique Duval , Rachid Echahed , Frédéric Prost

在 arXiv 上查看 ↗ PDF ↗

摘要

重写系统通常被定义为给定对象集合上的二元关系。这种简单的定义用于描述重写的各种性质，如终止性、合流性、范式等。本文在范畴框架下引入了一种新的抽象重写概念。然后，我们定义了重写系统的函子性性质。该性质有时被称为纵向复合。我们证明了大多数图变换系统是函子性的，并提供了一个非函子性的图变换系统的反例。

关键词

抽象重写系统范畴图变换函子性纵向复合

引用

@article{arxiv.1101.3417,
  title  = {Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation},
  author = {Dominique Duval and Rachid Echahed and Frédéric Prost},
  journal= {arXiv preprint arXiv:1101.3417},
  year   = {2011}
}