关系结构范畴中的可指数性
摘要：关于关系Horn理论$ℳ$，我们提供了在$ℳ$-模型范畴$ℒ$中对象和态射指数化的有用充分条件；已知的一些例子包括预序集范畴和（扩展的）度量空间范畴，这些范畴最近在编程语言语义研究中有了应用。由此我们得到$ℒ$是笛卡尔封闭、局部笛卡尔封闭，甚至是拟拓扑的有用充分条件；特别地，我们为预序集和偏序集范畴的笛卡尔封闭提供了两个不同的解释。我们的结果还恢复了Niefield和Clementino-Hofmann在偏序集范畴和小$V$-范畴的$V-ext-ext-{Cat}$中表征指数化的某些条件的充分性。
作者：Jason Parker
论文ID：2208.07350
分类：Category Theory
分类简称：math.CT
提交时间：2022-08-16