一句话：证明了在粘合范畴的图变换中，沿推导移动推导会保持其脊（最小限制）。
本文在基于粘合范畴的图变换框架下，研究两类基本推导操作之间的关系：其一是基于并行独立性与顺序独立性，沿另一条推导移动一条推导；其二是关于起始对象单态射的限制，该操作直观上剪除起始对象中在整条推导中从未被规则应用匹配的部分。作者将推导的脊定义为最小限制，并在范畴层面形式化这些操作。主要结果表明：沿推导移动推导能够保持其脊。该结论刻画了限制与移动操作之间的相容性。
In this paper, we investigate the relationship between two elementary operations on derivations in the framework of graph transformation based on adhesive categories: moving a derivation along a derivation based on parallel and sequential independence on one hand and restriction of a derivation with respect to a monomorphism into the start object on the other hand. Intuitively, a restriction clips off parts of the start object that are never matched by a rule application throughout the derivation on the other hand. As main result, it is shown that moving a derivation preserves its spine being the minimal restriction.
DOI 原文 · arXiv · PDF（开放获取） · DBLP
@article{KreowskiKLW23,
title = {Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories},
author = {Hans-Jörg Kreowski and Aaron Lye and Aljoscha Windhorst},
journal = {Logical Methods in Computer Science},
volume = {Volume 21, Issue 2},
year = {2025},
doi = {10.46298/lmcs-21(2:4)2025}
}