M-粘合范畴框架下约束的满足、限制与 amalgamation
计算机科学中的逻辑
2012-09-10 v1
摘要
规则的应用条件和图的约束在图变换理论中是众所周知的，并且已经扩展到了 M-粘合变换系统。根据文献，我们将约束的满足区分为两种，称为一般满足和初始满足，其中初始满足是针对基范畴初始对象上的约束定义的。不幸的是，与初始满足不同，一般满足的标准定义与否定不兼容。基于沿类型态射对对象进行限制的众所周知的方法，本文研究了应用条件和约束及其解的限制与 amalgamation。在我们的主要结果中，我们证明了正约束的初始满足与限制和 amalgamation 的兼容性，而一般满足通常在一般情况下不成立。我们的主要结果基于通过推出（pushouts）进行的组合与限制的兼容性，这除了 M-粘合范畴中通常满足的垂直 van Kampen 性质外，还由水平 van Kampen 性质保证。
引用
@article{arxiv.1209.1436,
title = {Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories},
author = {Hanna Schölzel and Hartmut Ehrig and Maria Maximova and Karsten Garbriel and Frank Hermann},
journal= {arXiv preprint arXiv:1209.1436},
year = {2012}
}
备注
In Proceedings ACCAT 2012, arXiv:1208.4301