在黏合范畴中沿推导移动推导保持其脊
离散数学
2025-04-23 v5
摘要
本文研究了基于黏合范畴的图变换框架中推导的两种基本操作之间的关系：一方面基于平行独立性和顺序独立性沿推导移动推导，另一方面相对于到起始对象的单态射对推导进行限制。直观上，限制剪掉了起始对象中在整个推导过程中从未被规则匹配的部分。主要结果表明，移动推导保持其脊，即最小限制。
引用
@article{arxiv.2312.13510,
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= {arXiv preprint arXiv:2312.13510},
year = {2025}
}