摘要：$mathcal{C} o mathcal{D}$一致函子的模型理论结果的类比证明，包括省略类型定理的变体和一些关于超限产品构造的结果。我们引入了一个$mathcal{C} o mathbf{Set}$一致函子的分布格值不变量，它在正闭模型上恰好为零，然后我们研究了它的函子性质。
作者：Krist''of Kanalas
论文ID：2211.14600
分类：Category Theory
分类简称：math.CT
提交时间：2022-11-29
PDF 下载： 英文版 中文版pdf翻译中