通过广义关系自定义超图类别

@进行中{Marsden2017CustomHC，title={通过广义关系自定义超图类别}，author={丹·马斯登（Dan Marsden）和法布里奇奥·罗曼诺·基诺维塞（Fabrizio Romano Genovese）}，booktitle={计算机科学代数和余代数会议}，年份={2017年}，网址={https://api语义scholar.org/语料库ID:7701618}}
这项工作为过程理论模型的构建提供了一个概念驱动的参数化框架，该框架沿着四个变化轴、真值、代数结构的选择、周围的数学宇宙以及证明相关性或可证明性的选择推广了二元关系的概念。
[PDF]语义阅读器

15引文

（Co）关系的通用构造：范畴、单体范畴和道具

本文展示了如何将关系和关联的语义范畴描述为简单范畴的共线，从而简化了为字符串图的语义等价给出完整公理化的任务。

与弗罗贝尼乌斯改写

一种DPO重写形式主义，能够吸收多个Frobenius结构，从而以组合、资源敏感的方式合理简化复合系统分析中的图解推理。

（协同）关系的通用构造

本文展示了如何将关系和关联的语义范畴描述为简单范畴的共线，从而简化了为字符串图的语义等价给出完整公理化的任务。

范畴组合分布语义中自然语言的模糊广义量词

本文考虑了多值关系范畴内沿Zadeh线的量词的模糊版本，并表明该范畴是合成分布模型的具体例证。

在自由Hypegraph类别中重写

给出了自由超图范畴的箭头作为标记超图的上跨的组合特征，并建立了重写模Frobenius结构与超图的双pushout重写之间的精确对应关系。

量子理论和语言学中构词的唯一性

这项工作考虑了交换对合半环中的波函数理论（由自由有限维模范畴建模），并证明了唯一的双线性紧闭对称单体结构是正则结构（直到线性单体等价）。

密度矩阵的意义更新

这项工作支持在量子硬件（又称QNLP）上实现文本级自然语言处理，此前已经确定了指数空间增益和二次加速。

交互概念空间I：概念的语法构成

这项工作引入了凸关系范畴，作为范畴组合语义的新设置，强调了凸结构对概念空间应用的重要性，并展示了如何为名词、形容词和动词等各种类型构建概念空间。

凸分析的合成框架（应用于概率论）

基于Rockafellar凸双函数的概念，我们引入了一个用于凸分析的组合框架。该框架非常适合于图形推理，并表现出丰富的对偶性…

L-模糊关系的范畴性质综述

38参考文献

开放互联系统的代数

本文发展了超图范畴理论，并介绍了修饰cospans和correlations工具，这是一个更强大的版本，允许构造所有超图范畴和超图函子。

意义范畴模型中的歧义

这项工作将歧义词描述为无歧义概念的统计集合，并将先前模型的语义扩展到支持概率混合的类别，并引入两个不同的Frobenius代数，它们代表了单词意义的不同构成方式。

自然语言处理中的开放系统范畴量子语义

本文表明范畴量子力学的进一步发展也与自然语言处理有关，并通过演示向量空间模型到密度矩阵的过程，初步证明了所提出的新词义模型的有效性。

信号流图的完全抽象

本文为信号流图配备了结构操作语义，并将任何图的实现方式分类，即使用图论重写为操作行为和表示一致的可执行形式。

相互作用的Hopf代数：线性系统理论

本文描述了域k上线性子空间的PROP SVk的特征，这是在不同研究领域出现的电路图解释的一个重要领域，并发展了信号流图的形式化理论，其特点是具有图解电路语法、结构操作语义和指称语义。

度量、拓扑和多类别——一种常用方法

单体范畴的图形语言综述

本文旨在作为单体范畴及其相关字符串图的各种概念的参考指南，并选择了某种非正式的拓扑概念处理方法。

范畴代数

1.引言。函子的范畴、函子和自然变换都是泛化性很强、结果很简单的概念。它们适用于数学的许多不同部分。现在22年了…

几何和逻辑中的滑轮：拓扑学的首次介绍

本文介绍了拓扑学理论，因为它是从对滑轮的研究中发展起来的。滑轮在几何学中作为上同调系数和适用于各种函数的描述出现…

描绘量子过程：量子理论和图解推理的第一门课程

这个完全以图表形式呈现的量子理论代表了十年研究的巅峰，将线性代数和希尔伯特空间的经典技术与量子计算和基础的前沿发展结合在一起。