模糊集间关系的多重图：加权极限、余极限与交换性
计算机科学中的逻辑
2016-04-12 v1
摘要
由集合间映射定义的图的极限和余极限是不同数学领域的基本通用构造，也是理论计算机科学的关键概念。M. Makkai和R. Paré描述了其在语义建模中的重要性，他们正式表明经典无穷逻辑中每个可公理化理论可使用由集合间映射定义的图来指定，其模型是由这些图的交换性、极限和余极限表征的结构。Z. Diskin从更实际视角，提出了用于数据建模和数据库设计的代数基于图形的框架。我们工作的目标是研究将这些代数框架扩展到模糊结构规范和数据中模糊模式描述的可能性。为此，本文描述了当图使用模糊集间关系在多值逻辑中求值构造时，图交换性、极限和余极限概念的保守扩展。这些用于形式化我们所说的“关系类似于图的极限”、“相似关系等同于图的余极限”以及“图几乎交换”的含义。
引用
@article{arxiv.1604.02784,
title = {Multi-diagrams of relations between fuzzy sets: weighted limits, colimits and commutativity},
author = {Carlos Leandro and Luís Monteiro},
journal= {arXiv preprint arXiv:1604.02784},
year = {2016}
}
备注
26 pages