关系结构类别的广泛性
摘要：任意满足一种温和的句法条件的关系Horn理论模型的范畴是无限广泛的。这样的范畴的中心例子包括预排序集和偏序集的范畴，以及小型$mathscr{V}$-范畴、（对称的）伪-$mathscr{V}$-度量空间和（对称的）$mathscr{V}$-度量空间的范畴，其中$mathscr{V}$是一个可交换幺元量子束。我们还明确地表征了这些范畴中的初始源和终末汇，特别是嵌入和商映射。
作者：Jason Parker
论文ID：2204.10918
分类：Category Theory
分类简称：math.CT
提交时间：2022-07-08